Nominal/nominal_basics.ML
Wed, 27 Mar 2013 16:08:30 +0100 webertj Various changes to support Nominal2 commands in local contexts.
less more (0) -1 tip