src/HOL/Tools/Function/induction_schema.ML
Sat, 02 Jan 2010 23:18:58 +0100 krauss new year's resolution: reindented code in function package
Mon, 23 Nov 2009 15:05:59 +0100 krauss eliminated dead code and some unused bindings, reported by polyml
Sun, 15 Nov 2009 15:14:28 +0100 wenzelm tuned;
Fri, 06 Nov 2009 14:42:42 +0100 krauss renamed method induct_scheme to induction_schema
less more (0) tip