Nominal/Ex/Multi_Recs.thy
2010-09-22 Christian Urban made supp proofs more robust by not using the standard induction; renamed some example files
less more (0) tip