isa: updated conditions
[calu.git] / 2_isa / logic.ptex
2010-10-25 Martin Pernerisa: first usable version