On Sun, Jun 03, 2012 at 05:51:51PM +0100, Daniel Alejandro Benavides D. wrote: > semantics, which is the natural deduction system of Baby Modula-3 You keep mentioning Baby Modula 3, but I have no idea what it is. Can you expalin and provide lins? -- hendrik