Nominal/NewParser.thy
Wed, 12 May 2010 16:33:25 +0100 Christian Urban moved the data-transformation into the parser
Wed, 12 May 2010 16:39:10 +0200 Cezary Kaliszyk Move alpha_eqvt to unused.
Wed, 12 May 2010 16:32:44 +0200 Cezary Kaliszyk Use equivariance instead of alpha_eqvt
Wed, 12 May 2010 14:47:52 +0100 Christian Urban ingnored parameters in equivariance; added a proper interface to be called from ML
Wed, 12 May 2010 13:43:48 +0100 Christian Urban properly exported defined bn-functions
Tue, 11 May 2010 18:20:25 +0200 Cezary Kaliszyk Include raw permutation definitions in eqvt
less more (0) -30 -10 -6 tip