2002-01-11 wenzelm [Fri, 11 Jan 2002 18:49:25 +0100] rev 12724
Isabelle2002 (January 2002);
NEWS

2002-01-11 wenzelm [Fri, 11 Jan 2002 18:07:45 +0100] rev 12723
removed obsolete isamode.ML;
src/Pure/Interface/ROOT.ML src/Pure/Interface/isamode.ML src/Pure/IsaMakefile src/Pure/pure.ML

2002-01-11 wenzelm [Fri, 11 Jan 2002 18:07:30 +0100] rev 12722
tuned;
Admin/page/dist-content/packages.content

2002-01-11 wenzelm [Fri, 11 Jan 2002 17:04:49 +0100] rev 12721
#!/usr/bin/env bash;
Admin/cvs-copy Admin/make_everything Admin/makebin Admin/makedist Admin/maketags Admin/mirror-dist Admin/mirror-main Admin/psbooklet Admin/rsyncd

2002-01-11 wenzelm [Fri, 11 Jan 2002 14:53:30 +0100] rev 12720
replace gen_all by forall_elim_vars_safe;
src/FOL/simpdata.ML src/Sequents/simpdata.ML src/ZF/Main.ML src/ZF/OrdQuant.ML src/ZF/Tools/inductive_package.ML src/ZF/simpdata.ML

2002-01-11 wenzelm [Fri, 11 Jan 2002 14:53:05 +0100] rev 12719
improved forall_elim_vars_safe (no longer invents new indexes);
src/Pure/drule.ML

2002-01-11 wenzelm [Fri, 11 Jan 2002 14:44:58 +0100] rev 12718
lemmas (in ACe) AC;
src/HOL/Finite_Set.thy

2002-01-11 wenzelm [Fri, 11 Jan 2002 14:44:24 +0100] rev 12717
tuned;
doc-src/Ref/simplifier.tex

2002-01-11 wenzelm [Fri, 11 Jan 2002 00:35:03 +0100] rev 12716
IsarThy.theorems_i;
src/ZF/Tools/ind_cases.ML

2002-01-11 wenzelm [Fri, 11 Jan 2002 00:34:43 +0100] rev 12715
moved setmksimps to Main!
src/ZF/Main.ML src/ZF/ROOT.ML