src/HOL/Tools/induct_attrib.ML
Fri, 10 Nov 2000 19:06:54 +0100 wenzelm Sign.certify_tycon, Sign.certify_const;
Thu, 19 Oct 2000 21:18:15 +0200 wenzelm split over two files: induct_attrib.ML, induct_method.ML;
less more (0) tip