Nominal/nominal_inductive.ML
2011-01-06 Christian Urban tuned
less more (0) tip