2001-11-24 wenzelm [Sat, 24 Nov 2001 16:55:00 +0100] rev 12283
gen_merge_lists';
src/Provers/Arith/fast_lin_arith.ML src/Pure/drule.ML

2001-11-24 wenzelm [Sat, 24 Nov 2001 16:54:32 +0100] rev 12282
generic_merge;
src/Provers/simplifier.ML

2001-11-24 wenzelm [Sat, 24 Nov 2001 16:54:10 +0100] rev 12281
converted simp lemmas;
src/HOL/HOL.thy src/HOL/simpdata.ML

2001-11-24 wenzelm [Sat, 24 Nov 2001 16:53:31 +0100] rev 12280
tuned;
NEWS

2001-11-24 berghofe [Sat, 24 Nov 2001 13:58:19 +0100] rev 12279
Extended match_proof to handle abstractions.
src/Pure/proofterm.ML

2001-11-23 wenzelm [Fri, 23 Nov 2001 19:20:58 +0100] rev 12278
tuned;
src/HOL/simpdata.ML

2001-11-23 wenzelm [Fri, 23 Nov 2001 19:20:06 +0100] rev 12277
improved ordering of evaluated elements;
src/Pure/Isar/locale.ML

2001-11-23 wenzelm [Fri, 23 Nov 2001 19:19:35 +0100] rev 12276
time_use_thy "Locales";
src/HOL/ex/ROOT.ML

2001-11-23 nipkow [Fri, 23 Nov 2001 17:19:14 +0100] rev 12275
Isar conversion
src/HOL/IMP/Compiler.thy

2001-11-22 wenzelm [Thu, 22 Nov 2001 23:46:33 +0100] rev 12274
theory Locales temporarily disabled;
src/HOL/ex/ROOT.ML