Nominal/Nominal2_Supp.thy
Sat, 27 Mar 2010 08:11:11 +0100 Cezary Kaliszyk Fv/Alpha now takes into account Alpha_Type given from the parser.
Wed, 24 Mar 2010 14:49:51 +0100 Cezary Kaliszyk avoiding for atom.
Mon, 22 Mar 2010 09:02:30 +0100 Cezary Kaliszyk Fixed missing colon.
less more (0) -3 tip