Nominal/Nominal2_Eqvt.thy
2011-01-07 Christian Urban equivariance of THE_default under the uniqueness assumption
2011-01-06 Christian Urban same
2011-01-03 Christian Urban simple cases for string rule inductions
2010-11-29 Christian Urban isarfied some of the high-level proofs
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.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