1996-01-18 paulson [Thu, 18 Jan 1996 10:38:29 +0100] rev 1444 Isabelle94-5
trivial updates
doc-src/Logics/logics.bbl doc-src/ind-defs.bbl

1996-01-18 paulson [Thu, 18 Jan 1996 10:28:20 +0100] rev 1443
New version number
src/Pure/ROOT.ML

1996-01-15 wenzelm [Mon, 15 Jan 1996 15:50:54 +0100] rev 1442
*** empty log message ***
src/HOL/AxClasses/Group/ROOT.ML

1996-01-15 wenzelm [Mon, 15 Jan 1996 15:50:41 +0100] rev 1441
added Lattice demo;
src/HOL/AxClasses/README

1996-01-15 wenzelm [Mon, 15 Jan 1996 15:49:21 +0100] rev 1440
added this stuff;
src/HOL/AxClasses/Lattice/CLattice.ML src/HOL/AxClasses/Lattice/CLattice.thy src/HOL/AxClasses/Lattice/LatInsts.ML src/HOL/AxClasses/Lattice/LatInsts.thy src/HOL/AxClasses/Lattice/LatMorph.ML src/HOL/AxClasses/Lattice/LatMorph.thy src/HOL/AxClasses/Lattice/LatPreInsts.ML src/HOL/AxClasses/Lattice/LatPreInsts.thy src/HOL/AxClasses/Lattice/Lattice.ML src/HOL/AxClasses/Lattice/Lattice.thy src/HOL/AxClasses/Lattice/OrdDefs.ML src/HOL/AxClasses/Lattice/OrdDefs.thy src/HOL/AxClasses/Lattice/OrdInsts.thy src/HOL/AxClasses/Lattice/Order.ML src/HOL/AxClasses/Lattice/Order.thy src/HOL/AxClasses/Lattice/ROOT.ML src/HOL/AxClasses/Lattice/tools.ML

1996-01-15 wenzelm [Mon, 15 Jan 1996 15:47:10 +0100] rev 1439
improved printing of errors in 'defs';
fixed small bug in 'standard' (it used to fail stripping shyps in some cases);
src/Pure/drule.ML

1996-01-15 clasohm [Mon, 15 Jan 1996 15:00:14 +0100] rev 1438
added comments
src/Pure/Syntax/parser.ML

1996-01-15 clasohm [Mon, 15 Jan 1996 14:56:38 +0100] rev 1437
beautified file_info a bit
src/Pure/POLY.ML

1996-01-15 clasohm [Mon, 15 Jan 1996 14:47:56 +0100] rev 1436
fixed bug in file_info
src/Pure/POLY.ML

1996-01-11 nipkow [Thu, 11 Jan 1996 10:29:31 +0100] rev 1435
Removed bug in type unification. Negative indexes are not used any longer.
Had to change interface to Type.unify to pass maxidx. Thus changes in the
clients.
src/Pure/drule.ML src/Pure/pattern.ML src/Pure/type.ML src/Pure/unify.ML