1999-08-26 paulson [Thu, 26 Aug 1999 11:32:39 +0200] rev 7358
a little tidying; also FIXED BAD TYPE in INTER1, UNION1
src/HOL/Set.thy

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:49:02 +0200] rev 7357
proper bootstrap of HOL theory and packages;
src/HOL/HOL.ML src/HOL/HOL.thy src/HOL/HOL_lemmas.ML src/HOL/Inductive.thy src/HOL/IsaMakefile src/HOL/Ord.thy src/HOL/ROOT.ML src/HOL/Recdef.thy src/HOL/Record.thy src/HOL/blastdata.ML src/HOL/cladata.ML src/HOL/simpdata.ML

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:46:40 +0200] rev 7356
expand_classes renamed to intro_classes;
doc-src/IsarRef/generic.tex src/HOL/Isar_examples/Group.thy

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:45:19 +0200] rev 7355
proper bootstrap of IFOL/FOL theories and packages;
src/FOL/FOL.ML src/FOL/FOL.thy src/FOL/FOL_lemmas1.ML src/FOL/FOL_lemmas2.ML src/FOL/IFOL.ML src/FOL/IFOL.thy src/FOL/IFOL_lemmas.ML src/FOL/IsaMakefile src/FOL/ROOT.ML src/FOL/blastdata.ML src/FOL/cladata.ML src/FOL/hypsubstdata.ML src/FOL/simpdata.ML

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:42:01 +0200] rev 7354
proper setup of GlobalClaset data;
src/Provers/classical.ML

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:39:50 +0200] rev 7353
improved msg;
src/Pure/Isar/isar_thy.ML

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:39:18 +0200] rev 7352
fixed arity;
src/Pure/Isar/outer_parse.ML

1999-08-25 wenzelm [Wed, 25 Aug 1999 20:38:56 +0200] rev 7351
expand_classes renamed to intro_classes;
src/Pure/axclass.ML

1999-08-25 wenzelm [Wed, 25 Aug 1999 18:53:49 +0200] rev 7350
TPHOLs99;
doc-src/manual.bib

1999-08-25 berghofe [Wed, 25 Aug 1999 17:33:21 +0200] rev 7349
Removed "Adding axioms ..." message.
src/HOL/Tools/inductive_package.ML