1999-08-26 paulson [Thu, 26 Aug 1999 11:39:18 +0200] rev 7364
changed "guar" back to "guarantees" (sorry) and FIXED ITS PRECEDENCE
src/HOL/UNITY/Comp.thy

1999-08-26 paulson [Thu, 26 Aug 1999 11:37:43 +0200] rev 7363
new destruction rules
src/HOL/UNITY/Follows.ML

1999-08-26 paulson [Thu, 26 Aug 1999 11:37:22 +0200] rev 7362
new laws; changed "guar" back to "guarantees" (sorry)
src/HOL/UNITY/Extend.ML

1999-08-26 paulson [Thu, 26 Aug 1999 11:36:04 +0200] rev 7361
changed "guar" back to "guarantees" (sorry)
src/HOL/UNITY/Alloc.thy src/HOL/UNITY/Client.ML src/HOL/UNITY/Comp.ML src/HOL/UNITY/Lift_prog.ML src/HOL/UNITY/PPROD.ML

1999-08-26 paulson [Thu, 26 Aug 1999 11:34:17 +0200] rev 7360
more Join rules including AC-rules
src/HOL/UNITY/Union.ML

1999-08-26 paulson [Thu, 26 Aug 1999 11:33:24 +0200] rev 7359
extra syntax for JN, making it more like UN
src/HOL/UNITY/Union.thy

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