Nominal/Fv.thy
Sat, 27 Mar 2010 08:11:11 +0100 Cezary Kaliszyk Fv/Alpha now takes into account Alpha_Type given from the parser.
Sat, 27 Mar 2010 06:51:13 +0100 Cezary Kaliszyk Minor cleaning.
Fri, 26 Mar 2010 17:01:22 +0100 Cezary Kaliszyk Fixed renamings.
Fri, 26 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Removed remaining cheats + some cleaning.
less more (0) -30 -10 -4 tip