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 -2 +2 +10 +30 tip