Nominal/ExTySch.thy
2010-03-27 Cezary Kaliszyk Fv/Alpha now takes into account Alpha_Type given from the parser.
2010-03-23 Cezary Kaliszyk compiles
2010-03-23 Cezary Kaliszyk Move Leroy out of Test, rename accordingly.
less more (0) tip