2000-03-09 wenzelm [Thu, 09 Mar 2000 22:57:13 +0100] rev 8401
more robust case names of induct;
src/HOL/Tools/inductive_package.ML

2000-03-09 wenzelm [Thu, 09 Mar 2000 22:56:40 +0100] rev 8400
cleaned comment;
src/HOL/Tools/induct_method.ML src/Pure/Isar/rule_cases.ML

2000-03-09 paulson [Thu, 09 Mar 2000 18:27:18 +0100] rev 8399
nicely tarted up Mutil
src/HOL/Induct/Mutil.ML src/HOL/Induct/Mutil.thy

2000-03-09 wenzelm [Thu, 09 Mar 2000 17:27:54 +0100] rev 8398
renamed to rsync-isabelle;
Admin/mirror-dist Admin/mirror-isabelle-dist Admin/rsync-isabelle

2000-03-09 wenzelm [Thu, 09 Mar 2000 17:25:28 +0100] rev 8397
tuned;
Admin/mirror-dist Admin/mirror-isabelle-dist

2000-03-09 kleing [Thu, 09 Mar 2000 17:19:49 +0100] rev 8396
made rsync "official"
Admin/mirror-dist Admin/mirror-isabelle-dist

2000-03-09 paulson [Thu, 09 Mar 2000 16:14:37 +0100] rev 8395
mod_less, div_less are now default simprules
src/HOL/UNITY/Token.ML src/HOL/ex/Fib.ML

2000-03-09 kleing [Thu, 09 Mar 2000 16:09:56 +0100] rev 8394
moved more lemmas to Convert (transitivity etc)
src/HOL/MicroJava/BV/Convert.ML src/HOL/MicroJava/BV/LBVComplete.ML

2000-03-09 paulson [Thu, 09 Mar 2000 16:07:38 +0100] rev 8393
mod_less, div_less are now default simprules
src/HOL/Divides.ML

2000-03-09 paulson [Thu, 09 Mar 2000 16:07:01 +0100] rev 8392
Factorization
NEWS