1997-02-12 nipkow [Wed, 12 Feb 1997 18:54:39 +0100] rev 2609
New class "order" and accompanying changes.
src/HOL/Lex/AutoChopper.ML src/HOL/Lex/Chopper.thy src/HOL/ex/Puzzle.ML

1997-02-12 nipkow [Wed, 12 Feb 1997 18:53:59 +0100] rev 2608
New class "order" and accompanying changes.
In particular reflexivity of <= is now one rewrite rule.
src/HOL/List.ML src/HOL/List.thy src/HOL/Nat.ML src/HOL/Nat.thy src/HOL/NatDef.ML src/HOL/NatDef.thy src/HOL/Ord.ML src/HOL/Ord.thy src/HOL/Set.ML

1997-02-12 wenzelm [Wed, 12 Feb 1997 15:43:50 +0100] rev 2607
TFL: missing -q option!
src/HOL/IsaMakefile

1997-02-12 wenzelm [Wed, 12 Feb 1997 15:42:31 +0100] rev 2606
tuned names: partial order, linear order;
src/HOL/AxClasses/Lattice/CLattice.thy src/HOL/AxClasses/Lattice/LatInsts.thy src/HOL/AxClasses/Lattice/Lattice.thy src/HOL/AxClasses/Lattice/OrdDefs.ML src/HOL/AxClasses/Lattice/OrdInsts.thy src/HOL/AxClasses/Lattice/Order.ML src/HOL/AxClasses/Lattice/Order.thy

1997-02-10 wenzelm [Mon, 10 Feb 1997 16:16:55 +0100] rev 2605
tuned startup;
semi fix of piping-quit peoblem (should work on systems with *real& sh);
lib/scripts/run-polyml

1997-02-10 wenzelm [Mon, 10 Feb 1997 15:45:31 +0100] rev 2604
fixed comment;
src/Pure/type.ML

1997-02-10 paulson [Mon, 10 Feb 1997 12:52:11 +0100] rev 2603
Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
with Basis Library structure Int
src/FOLP/ex/ROOT.ML src/FOLP/ex/int.ML src/FOLP/intprover.ML src/FOLP/simpdata.ML

1997-02-10 paulson [Mon, 10 Feb 1997 12:34:54 +0100] rev 2602
Renamed structure Int (intuitionistic prover) to IntPr
src/ZF/mono.ML

1997-02-10 paulson [Mon, 10 Feb 1997 12:31:54 +0100] rev 2601
Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
with Basis Library structure Int
src/FOL/ex/If.ML src/FOL/ex/ROOT.ML src/FOL/ex/cla.ML src/FOL/ex/int.ML src/FOL/intprover.ML src/FOL/simpdata.ML

1997-02-07 wenzelm [Fri, 07 Feb 1997 17:15:30 +0100] rev 2600
removed ISABELLE_INTERFACE_OPTIONS;
lib/scripts/isa-emacs