Nominal/nominal_inductive.ML
2011-01-05 Christian Urban exported the code into a separate file
less more (0) tip