2004-06-17 webertj [Thu, 17 Jun 2004 21:58:51 +0200] rev 14964
improved defcnf conversion
src/HOL/Tools/prop_logic.ML

2004-06-17 paulson [Thu, 17 Jun 2004 17:18:30 +0200] rev 14963
removal of magmas and semigroups
src/HOL/Algebra/Bij.thy src/HOL/Algebra/CRing.thy src/HOL/Algebra/Coset.thy src/HOL/Algebra/Group.thy src/HOL/Algebra/Sylow.thy src/HOL/Algebra/UnivPoly.thy src/HOL/Algebra/ringsimp.ML

2004-06-17 wenzelm [Thu, 17 Jun 2004 14:27:01 +0200] rev 14962
fixed 'requires' comments, which are needed for printing of drafts;
lib/texinputs/isabellesym.sty

2004-06-17 wenzelm [Thu, 17 Jun 2004 14:26:43 +0200] rev 14961
isub/isup quasi letter (again); tuned;
src/Pure/General/symbol.ML

2004-06-17 wenzelm [Thu, 17 Jun 2004 14:26:24 +0200] rev 14960
tuned;
doc-src/IsarRef/syntax.tex doc-src/Ref/defining.tex

2004-06-17 schirmer [Thu, 17 Jun 2004 14:24:43 +0200] rev 14959
tuned
src/HOL/Tools/record_package.ML

2004-06-16 wenzelm [Wed, 16 Jun 2004 20:42:22 +0200] rev 14958
isatool_document: writeln output;
src/Pure/Thy/present.ML

2004-06-16 wenzelm [Wed, 16 Jun 2004 20:37:29 +0200] rev 14957
tuned document;
src/FOL/ex/If.thy src/FOL/ex/LocaleInst.thy src/HOL/Infinite_Set.thy

2004-06-16 wenzelm [Wed, 16 Jun 2004 20:37:14 +0200] rev 14956
prevent looping of error messages involving malformed symbols;
src/Pure/General/symbol.ML

2004-06-16 wenzelm [Wed, 16 Jun 2004 20:37:00 +0200] rev 14955
tuned;
doc-src/IsarRef/pure.tex doc-src/IsarRef/syntax.tex doc-src/Ref/defining.tex src/Pure/General/output.ML src/Pure/General/scan.ML