Nominal/Ex/Pi.thy
2016-03-19 Christian Urban updated to Isabelle 2016 Nominal2-Isabelle2016
2014-05-19 Christian Urban changed nominal_primrec to nominal_function and termination to nominal_termination
2014-05-19 Christian Urban changed nominal_primrec into the more appropriate nominal_function
2014-03-24 Christian Urban updated to massive changes in Isabelle
2014-03-13 Christian Urban updated to Isabelle changes
2012-08-07 Christian Urban definition of an auxiliary graph in nominal-primrec definitions
2012-07-15 Christian Urban added a simproc for alpha-equivalence to the simplifier
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