src/HOL/Tools/old_inductive_package.ML
Fri, 19 Jan 2007 22:08:08 +0100 wenzelm moved parts of OuterParse to SpecParse;
Mon, 18 Dec 2006 08:21:35 +0100 haftmann switched argument order in *.syntax lifters
Thu, 16 Nov 2006 01:07:25 +0100 wenzelm moved some fundamental concepts to General/basics.ML;
Tue, 14 Nov 2006 00:15:38 +0100 wenzelm incorporated IsarThy into IsarCmd;
Tue, 31 Oct 2006 09:29:06 +0100 haftmann fixed type signature of Type.varify
Fri, 13 Oct 2006 18:24:02 +0200 berghofe Old version of inductive definition package (for sets).
less more (0) tip