1999-01-27 nipkow [Wed, 27 Jan 1999 17:11:39 +0100] rev 6157
arith_tac for min/max
NEWS src/HOL/Arith.ML src/HOL/Integ/Bin.ML src/HOL/Ord.ML

1999-01-27 wenzelm [Wed, 27 Jan 1999 17:11:12 +0100] rev 6156
*** empty log message ***
doc-src/ZF/logics-ZF.ind doc-src/ZF/logics-ZF.rao

1999-01-27 paulson [Wed, 27 Jan 1999 16:09:54 +0100] rev 6155
ZF typechecking
NEWS

1999-01-27 paulson [Wed, 27 Jan 1999 15:58:22 +0100] rev 6154
automatic insertion of datatype intr rules into claset
src/ZF/Coind/ECR.ML src/ZF/Coind/MT.ML src/ZF/Coind/Values.ML src/ZF/Resid/Residuals.ML src/ZF/Tools/datatype_package.ML src/ZF/ex/Primrec.ML src/ZF/ex/PropLog.ML src/ZF/ex/TF.ML

1999-01-27 paulson [Wed, 27 Jan 1999 10:31:31 +0100] rev 6153
new typechecking solver for the simplifier
src/ZF/AC/Cardinal_aux.ML src/ZF/AC/WO6_WO1.ML src/ZF/Arith.ML src/ZF/Bool.ML src/ZF/CardinalArith.ML src/ZF/Cardinal_AC.ML src/ZF/Integ/Bin.ML src/ZF/Integ/Bin.thy src/ZF/Integ/EquivClass.ML src/ZF/Integ/Int.ML src/ZF/List.ML src/ZF/Nat.ML src/ZF/Order.ML src/ZF/OrderType.ML src/ZF/Ordinal.ML src/ZF/Perm.ML src/ZF/ROOT.ML src/ZF/Sum.ML src/ZF/Tools/typechk.ML src/ZF/ex/BinEx.ML src/ZF/ex/Limit.ML src/ZF/ex/ListN.ML src/ZF/ex/Primrec.ML src/ZF/ex/Primrec_defs.ML src/ZF/ex/TF.ML src/ZF/ex/Term.ML src/ZF/func.ML src/ZF/pair.ML src/ZF/simpdata.ML src/ZF/upair.ML src/ZF/upair.thy

1999-01-25 wenzelm [Mon, 25 Jan 1999 20:35:19 +0100] rev 6152
tuned;
src/Pure/General/graph.ML

1999-01-24 nipkow [Sun, 24 Jan 1999 11:33:54 +0100] rev 6151
Fixed a bug in lin.arith.
src/HOL/Arith.ML

1999-01-22 wenzelm [Fri, 22 Jan 1999 17:47:46 +0100] rev 6150
tuned;
Admin/page/index.html

1999-01-22 wenzelm [Fri, 22 Jan 1999 17:41:13 +0100] rev 6149
tuned;
Admin/page/index.html

1999-01-20 wenzelm [Wed, 20 Jan 1999 18:07:34 +0100] rev 6148
isabelle.in.tum.de;
Admin/page/index.html doc-src/Logics/preface.tex doc-src/System/present.tex doc-src/Tutorial/basics.tex doc-src/Tutorial/fp.tex