Nominal/nominal_library.ML
2014-05-16 Christian Urban updated changes from upstream (AFP)
2014-03-24 Christian Urban updated to massive changes in Isabelle
less more (0) -30 -10 -2 tip