Wed, 27 Mar 2013 17:23:00 +0000 Christian Urban tuned
Wed, 27 Mar 2013 16:09:46 +0100 webertj Fixed proofs to work with 13ab4f0a0b0e.
Wed, 27 Mar 2013 16:08:30 +0100 webertj Various changes to support Nominal2 commands in local contexts.
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 tip