Nominal/Ex/Multi_Recs2.thy
2010-12-28 Christian Urban automated all strong induction lemmas
less more (0) -1 tip