2001-02-12 wenzelm [Mon, 12 Feb 2001 20:47:19 +0100] rev 11102
tuned;
src/HOL/Unix/document/root.tex

2001-02-12 wenzelm [Mon, 12 Feb 2001 20:45:12 +0100] rev 11101
support \<subseteq> syntax in classes/classrel/axclass/instance;
src/Pure/Isar/isar_syn.ML src/Pure/axclass.ML

2001-02-12 wenzelm [Mon, 12 Feb 2001 20:44:02 +0100] rev 11100
\<subseteq> syntax for classes/classrel/axclass/instance;
doc-src/IsarRef/generic.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/syntax.tex

2001-02-12 wenzelm [Mon, 12 Feb 2001 20:43:12 +0100] rev 11099
\<subseteq>;
doc-src/AxClass/Group/Group.thy doc-src/AxClass/Group/Product.thy doc-src/AxClass/Group/Semigroups.thy doc-src/AxClass/Nat/NatClass.thy doc-src/AxClass/generated/Group.tex doc-src/AxClass/generated/NatClass.tex doc-src/AxClass/generated/Product.tex doc-src/AxClass/generated/Semigroups.tex src/HOL/Lattice/CompleteLattice.thy src/HOL/Lattice/Lattice.thy src/HOL/Library/Quotient.thy src/HOL/Library/Ring_and_Field.thy

2001-02-11 wenzelm [Sun, 11 Feb 2001 20:38:40 +0100] rev 11098
added "xsymbols" syntax for "=?=";
src/Pure/Syntax/mixfix.ML

2001-02-11 wenzelm [Sun, 11 Feb 2001 16:34:20 +0100] rev 11097
more robust selection of calculational rules;
NEWS src/Pure/Isar/calculation.ML

2001-02-11 wenzelm [Sun, 11 Feb 2001 16:31:54 +0100] rev 11096
tuned trans rules;
src/FOL/FOL.thy src/HOL/Calculation.thy

2001-02-11 wenzelm [Sun, 11 Feb 2001 16:31:21 +0100] rev 11095
updated;
doc-src/IsarRef/generic.tex

2001-02-11 wenzelm [Sun, 11 Feb 2001 13:26:23 +0100] rev 11094
tuned;
NEWS

2001-02-10 ballarin [Sat, 10 Feb 2001 08:52:41 +0100] rev 11093
Changes to HOL/Algebra:
- Axclasses consolidated (axiom one_not_zero).
- Now uses summation operator setsum; SUM has been removed.
- Priority of infix assoc changed to 50, in accordance to dvd.
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/Ring.ML src/HOL/Algebra/abstract/Ring.thy src/HOL/Algebra/abstract/RingHomo.ML src/HOL/Algebra/poly/Degree.ML 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/ProtoPoly.ML src/HOL/Algebra/poly/ProtoPoly.thy src/HOL/Algebra/poly/UnivPoly.ML src/HOL/Algebra/poly/UnivPoly.thy