Nominal/ExTySch.thy
Sat, 27 Mar 2010 08:11:11 +0100 Cezary Kaliszyk Fv/Alpha now takes into account Alpha_Type given from the parser.
Tue, 23 Mar 2010 09:38:03 +0100 Cezary Kaliszyk compiles
Tue, 23 Mar 2010 08:51:43 +0100 Cezary Kaliszyk Move Leroy out of Test, rename accordingly.
less more (0) tip