Nominal/Nominal2_Eqvt.thy
2010-03-11 Christian Urban finally the proof that new and old alpha agree
2010-03-03 Cezary Kaliszyk Fix eqvt for multiple quantifiers.
2010-03-03 Cezary Kaliszyk weird eqvt
2010-03-02 Cezary Kaliszyk Add image_eqvt and atom_eqvt to eqvt bases.
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip