Nominal/Ex/Pi.thy
2012-07-12 Christian Urban streamlined definition of alpha-equivalence for single binders (used flip instead of swap)
2012-06-04 Christian Urban added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often
2011-12-23 Christian Urban included Pi theory in tests
less more (0) tip