Nominal/nominal_inductive.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
less more (0) -10 -3 tip