Nominal/nominal_function.ML
2018-04-19 Christian Urban updated to Isabelle 2016-1 default
2016-03-19 Christian Urban updated to Isabelle 2016 Nominal2-Isabelle2016
2015-07-09 Christian Urban updated for Isabelle 2015
2014-05-19 Christian Urban changed nominal_primrec into the more appropriate nominal_function
2014-05-19 Christian Urban changes from upstream
2014-05-16 Christian Urban updated changes from upstream (AFP)
2014-03-24 Christian Urban updated to massive changes in Isabelle
2014-01-11 Christian Urban updated with current AFP version
2012-10-29 Christian Urban adapted to latest change of Markus on the function package
2012-06-18 Christian Urban used ML-antiquotation command_spec for new commands
2012-04-30 Christian Urban adapted to change by Markus on function.ML
2012-03-20 Christian Urban updated to new Isabelle (20 March)
less more (0) -12 tip