Nominal/nominal_mutual.ML
2016-03-19 Christian Urban updated to Isabelle 2016 Nominal2-Isabelle2016
2015-07-09 Christian Urban updated for Isabelle 2015
2014-03-24 Christian Urban updated to massive changes in Isabelle
2014-03-13 Christian Urban updated to Isabelle changes
2014-01-11 Christian Urban updated with current AFP version
2013-12-15 Christian Urban updated to changes in Isabelle
2013-06-04 Christian Urban updated to new Isabelle
2013-04-18 Christian Urban updated to simplifier changes
2012-11-29 Christian Urban fixed problem with not fresh enough permutation name in nominal_primrec
2012-08-07 Christian Urban definition of an auxiliary graph in nominal-primrec definitions
2011-11-03 Christian Urban updated to Isabelle 3 Nov; it includes a hack to work around a bug in the localised version of the quotient package
2011-07-22 Christian Urban tuned
2011-07-22 Christian Urban completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list
2011-07-19 Christian Urban temporary fix
2011-07-19 Christian Urban merged
less more (0) -15 tip