2000-03-13 wenzelm [Mon, 13 Mar 2000 12:25:52 +0100] rev 8420
adapted to new PureThy.add_thms etc.;
src/Pure/Thy/thy_parse.ML src/Pure/axclass.ML

2000-03-13 wenzelm [Mon, 13 Mar 2000 12:25:16 +0100] rev 8419
add_thms, add_axioms, add_defs: return theorems as well;
src/Pure/pure_thy.ML

2000-03-13 wenzelm [Mon, 13 Mar 2000 12:23:44 +0100] rev 8418
added |>> and |>>>;
src/Pure/library.ML

2000-03-13 nipkow [Mon, 13 Mar 2000 09:08:27 +0100] rev 8417
exhaust->cases
src/HOLCF/IOA/meta_theory/Sequence.ML src/HOLCF/ex/Hoare.ML

2000-03-10 berghofe [Fri, 10 Mar 2000 23:04:07 +0100] rev 8416
Type.typ_match now uses Vartab instead of association lists.
TFL/thry.sml

2000-03-10 paulson [Fri, 10 Mar 2000 17:53:16 +0100] rev 8415
tidied
src/HOL/ex/Fib.ML src/HOL/ex/NatSum.ML src/HOL/ex/Recdefs.ML src/HOL/ex/Recdefs.thy src/HOL/ex/Sorting.ML src/HOL/ex/Sorting.thy

2000-03-10 paulson [Fri, 10 Mar 2000 17:52:48 +0100] rev 8414
now uses recdef instead of "rules"
src/HOL/ex/Qsort.ML src/HOL/ex/Qsort.thy

2000-03-10 paulson [Fri, 10 Mar 2000 17:51:59 +0100] rev 8413
tidied, and new thm perm_append2_eq
src/HOL/Induct/Perm.ML

2000-03-10 nipkow [Fri, 10 Mar 2000 17:14:56 +0100] rev 8412
cases_tac
NEWS

2000-03-10 berghofe [Fri, 10 Mar 2000 15:03:05 +0100] rev 8411
Type.typ_match now uses Vartab instead of association lists.
src/HOLCF/adm.ML