1998-11-18 paulson [Wed, 18 Nov 1998 15:10:46 +0100] rev 5931
Finally removing "Compl" from HOL
NEWS src/HOL/Induct/Mutil.thy src/HOL/Set.ML src/HOL/Set.thy src/HOL/UNITY/Lift.thy src/HOL/UNITY/Token.thy src/HOL/UNITY/WFair.thy src/HOL/equalities.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 11:12:29 +0100] rev 5930
exn_message FAIL;
src/Pure/Isar/toplevel.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 11:03:49 +0100] rev 5929
blast: cla_method';
src/FOL/cladata.ML src/HOL/cladata.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 11:02:42 +0100] rev 5928
export simp_modifiers;
src/Provers/simplifier.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 11:02:20 +0100] rev 5927
expoer cla_method('), cla_modifiers;
src/Provers/classical.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 11:01:48 +0100] rev 5926
method setup;
src/Provers/blast.ML src/Provers/clasimp.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 11:00:02 +0100] rev 5925
tuned comments;
src/Pure/Isar/isar_thy.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 10:59:44 +0100] rev 5924
'prop', 'term', 'typ';
src/Pure/Isar/isar_syn.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 10:59:20 +0100] rev 5923
load;
src/Pure/Isar/outer_syntax.ML

1998-11-18 wenzelm [Wed, 18 Nov 1998 10:56:53 +0100] rev 5922
export exn_message;
src/Pure/Isar/toplevel.ML