src/HOL/Tools/old_inductive_package.ML
2006-11-16 wenzelm 2006-11-16 moved some fundamental concepts to General/basics.ML;
2006-11-14 wenzelm 2006-11-14 incorporated IsarThy into IsarCmd;
2006-10-31 haftmann 2006-10-31 fixed type signature of Type.varify
2006-10-13 berghofe 2006-10-13 Old version of inductive definition package (for sets).