Nominal/nominal_thmdecls.ML
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip