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

1999-01-20 wenzelm [Wed, 20 Jan 1999 17:59:19 +0100] rev 6147
http://isabelle.in.tum.de/dist/;
Admin/index.html

1999-01-20 paulson [Wed, 20 Jan 1999 10:33:34 +0100] rev 6146
renamed variables for clarity
src/HOL/ex/set.ML

1999-01-20 wenzelm [Wed, 20 Jan 1999 10:29:25 +0100] rev 6145
changed Minho mirror;
Admin/index.html

1999-01-19 paulson [Tue, 19 Jan 1999 12:59:55 +0100] rev 6144
tidied freeness reasoning
src/ZF/ex/BT.ML src/ZF/ex/Comb.ML

1999-01-19 paulson [Tue, 19 Jan 1999 12:56:27 +0100] rev 6143
freeness reasoning: T.free_iffs
doc-src/ZF/ZF.tex

1999-01-19 wenzelm [Tue, 19 Jan 1999 11:46:18 +0100] rev 6142
tuned;
src/Pure/General/graph.ML

1999-01-19 paulson [Tue, 19 Jan 1999 11:18:11 +0100] rev 6141
removal of the (thm list) argument of mk_cases
NEWS doc-src/Inductive/ind-defs.tex doc-src/Logics/HOL.tex doc-src/Logics/logics.ind doc-src/ZF/ZF.tex src/HOL/Auth/Message.ML src/HOL/Finite.ML src/HOL/IMP/Expr.ML src/HOL/IMP/Natural.ML src/HOL/IMP/Transition.ML src/HOL/Induct/Com.ML src/HOL/Induct/Comb.ML src/HOL/Induct/Exp.ML src/HOL/Induct/LFilter.ML src/HOL/Lambda/Eta.ML src/HOL/Lambda/InductTermi.ML src/HOL/Lambda/Lambda.ML src/HOL/Lambda/ParRed.ML src/HOL/List.ML src/HOL/List.thy src/HOL/MiniML/W.ML src/HOL/Tools/inductive_package.ML src/HOL/W0/W.ML src/ZF/Coind/ECR.ML src/ZF/Coind/MT.ML src/ZF/Coind/Static.ML src/ZF/Coind/Static.thy src/ZF/Coind/Types.ML src/ZF/Datatype.ML src/ZF/IMP/Com.ML src/ZF/IMP/Equiv.ML src/ZF/List.ML src/ZF/Resid/Redex.ML src/ZF/Resid/Reduction.ML src/ZF/Resid/Residuals.ML src/ZF/Tools/datatype_package.ML src/ZF/Tools/induct_tacs.ML src/ZF/Tools/inductive_package.ML src/ZF/Tools/primrec_package.ML src/ZF/ex/BT.ML src/ZF/ex/CoUnit.ML src/ZF/ex/Comb.ML src/ZF/ex/Enum.ML src/ZF/ex/LList.ML src/ZF/ex/ListN.ML src/ZF/ex/PropLog.ML src/ZF/ex/Rmap.ML