Nominal/Ex/SingleLet.thy
Wed, 12 May 2010 16:33:25 +0100 Christian Urban moved the data-transformation into the parser
Wed, 12 May 2010 14:47:52 +0100 Christian Urban ingnored parameters in equivariance; added a proper interface to be called from ML
less more (0) -2 tip