Nominal/nominal_eqvt.ML
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
less more (0) tip