1999-11-11 wenzelm [Thu, 11 Nov 1999 11:27:31 +0100] rev 8007
header;
NEWS

1999-11-11 paulson [Thu, 11 Nov 1999 10:25:29 +0100] rev 8006
tidied
src/HOL/Algebra/abstract/NatSum.ML src/HOL/Algebra/poly/Degree.ML src/HOL/Algebra/poly/LongDiv.ML src/HOL/Algebra/poly/UnivPoly.ML src/HOL/UNITY/WFair.thy

1999-11-11 paulson [Thu, 11 Nov 1999 10:25:17 +0100] rev 8005
new-style infix declaration for "image"
src/HOL/Set.ML src/HOL/Set.thy src/HOL/Tools/datatype_rep_proofs.ML

1999-11-11 paulson [Thu, 11 Nov 1999 10:24:14 +0100] rev 8004
Fixed obsolete use of "op ^^"; new lemma
src/HOL/Relation.ML

1999-11-06 wenzelm [Sat, 06 Nov 1999 15:34:12 +0100] rev 8003
tuned;
doc-src/manual.bib

1999-11-05 paulson [Fri, 05 Nov 1999 16:41:56 +0100] rev 8002
tidied
src/HOL/UNITY/Project.ML

1999-11-05 paulson [Fri, 05 Nov 1999 12:47:29 +0100] rev 8001
new psubset lemma
src/HOL/Set.ML

1999-11-05 paulson [Fri, 05 Nov 1999 12:47:15 +0100] rev 8000
added foldr
src/HOL/List.thy

1999-11-05 paulson [Fri, 05 Nov 1999 12:45:37 +0100] rev 7999
Algebra and Polynomial theories, by Clemens Ballarin
src/HOL/IsaMakefile

1999-11-05 paulson [Fri, 05 Nov 1999 11:14:26 +0100] rev 7998
Algebra and Polynomial theories, by Clemens Ballarin
src/HOL/Algebra/README.html src/HOL/Algebra/ROOT.ML src/HOL/Algebra/abstract/Abstract.thy src/HOL/Algebra/abstract/Factor.ML src/HOL/Algebra/abstract/Factor.thy src/HOL/Algebra/abstract/Field.thy src/HOL/Algebra/abstract/Ideal.ML src/HOL/Algebra/abstract/Ideal.thy src/HOL/Algebra/abstract/NatSum.ML src/HOL/Algebra/abstract/NatSum.thy src/HOL/Algebra/abstract/PID.thy src/HOL/Algebra/abstract/Ring.ML src/HOL/Algebra/abstract/Ring.thy src/HOL/Algebra/abstract/RingHomo.ML src/HOL/Algebra/abstract/RingHomo.thy src/HOL/Algebra/poly/Degree.ML src/HOL/Algebra/poly/Degree.thy src/HOL/Algebra/poly/LongDiv.ML src/HOL/Algebra/poly/LongDiv.thy src/HOL/Algebra/poly/PolyHomo.ML src/HOL/Algebra/poly/PolyHomo.thy src/HOL/Algebra/poly/PolyRing.ML src/HOL/Algebra/poly/PolyRing.thy src/HOL/Algebra/poly/Polynomial.thy src/HOL/Algebra/poly/ProtoPoly.ML src/HOL/Algebra/poly/ProtoPoly.thy src/HOL/Algebra/poly/UnivPoly.ML src/HOL/Algebra/poly/UnivPoly.thy