src/HOL/ex/Induction_Schema.thy
Fri, 06 Nov 2009 14:42:42 +0100 krauss renamed method induct_scheme to induction_schema
less more (0) tip