Nominal/Fv.thy
Tue, 09 Mar 2010 21:22:22 +0100 Cezary Kaliszyk Separate lists for separate constructors, to match bn_eqs.
Tue, 09 Mar 2010 17:02:29 +0100 Cezary Kaliszyk Fix to get old alpha.
Tue, 09 Mar 2010 16:57:51 +0100 Cezary Kaliszyk Separate primrecs in Fv.
less more (0) -10 -3 tip