Nominal/Test.thy
Tue, 23 Mar 2010 07:04:27 +0100 Cezary Kaliszyk Move the comment to appropriate place.
Fri, 19 Mar 2010 18:42:57 +0100 Cezary Kaliszyk Automatically derive support for datatypes with at-most one binding per constructor.
Fri, 19 Mar 2010 15:01:01 +0100 Cezary Kaliszyk Update Test to use fset.
Thu, 18 Mar 2010 19:02:33 +0100 Cezary Kaliszyk Leroy96 supp=fv and fixes to make it compile
less more (0) -30 -10 -4 tip