2000-11-10 wenzelm [Fri, 10 Nov 2000 19:03:55 +0100] rev 10434
simplified atomize;
added inductive_rulify2 (to accomodate malformed induction rules);
src/HOL/Inductive.thy

2000-11-10 wenzelm [Fri, 10 Nov 2000 19:03:06 +0100] rev 10433
axclass power moved to Nat.thy;
src/HOL/HOL.ML src/HOL/HOL_lemmas.ML

2000-11-10 wenzelm [Fri, 10 Nov 2000 19:02:37 +0100] rev 10432
added axclass inverse and consts inverse, divide (infix "/");
moved axclass power to Nat.thy;
src/HOL/HOL.thy

2000-11-10 wenzelm [Fri, 10 Nov 2000 19:01:33 +0100] rev 10431
FOL_basic_ss: simprocs moved to FOL_ss;
src/FOL/simpdata.ML

2000-11-10 wenzelm [Fri, 10 Nov 2000 19:00:51 +0100] rev 10430
added atomize_eq;
src/FOL/FOL.thy

2000-11-10 wenzelm [Fri, 10 Nov 2000 19:00:22 +0100] rev 10429
val atomize = thms "atomize'";
src/FOL/blastdata.ML src/FOL/cladata.ML src/HOL/blastdata.ML src/HOL/cladata.ML

2000-11-10 nipkow [Fri, 10 Nov 2000 16:31:28 +0100] rev 10428
> etc
NEWS

2000-11-10 nipkow [Fri, 10 Nov 2000 16:26:44 +0100] rev 10427
new: > and >=
src/HOL/Ord.thy

2000-11-10 nipkow [Fri, 10 Nov 2000 15:05:09 +0100] rev 10426
rule inversion
doc-src/TutorialI/Inductive/Advanced.thy

2000-11-10 nipkow [Fri, 10 Nov 2000 09:17:54 +0100] rev 10425
JMB -> JMPB. Email von Johannes Pfeifroth.
src/HOL/IMP/Compiler.thy