1998-12-01 wenzelm [Tue, 01 Dec 1998 14:47:26 +0100] rev 6002
excursion: ERROR_MESSAGE;
exn_message: ERROR;
src/Pure/Isar/toplevel.ML

1998-12-01 wenzelm [Tue, 01 Dec 1998 14:46:58 +0100] rev 6001
qed: kind_name (again);
src/Pure/Isar/proof.ML

1998-12-01 wenzelm [Tue, 01 Dec 1998 14:46:35 +0100] rev 6000
show_tags flag;
src/Pure/attribute.ML

1998-12-01 paulson [Tue, 01 Dec 1998 10:39:35 +0100] rev 5999
new theorem INT_Un
src/HOL/equalities.ML

1998-12-01 paulson [Tue, 01 Dec 1998 10:39:02 +0100] rev 5998
better version of Image_diag
src/HOL/Relation.ML

1998-11-30 paulson [Mon, 30 Nov 1998 10:45:39 +0100] rev 5997
tactical CHANGED now uses alpha-eta conversion, not alpha conversion

Streamlined code
src/Pure/tctical.ML

1998-11-30 paulson [Mon, 30 Nov 1998 10:44:05 +0100] rev 5996
Renamed subset_Sigma_llist to subset_Times_llist
src/HOL/Induct/LList.ML

1998-11-30 paulson [Mon, 30 Nov 1998 10:43:35 +0100] rev 5995
new theorems about diag
src/HOL/Relation.ML

1998-11-29 wenzelm [Sun, 29 Nov 1998 13:21:38 +0100] rev 5994
fixed declatation of patterns and skolem;
src/Pure/Isar/proof_context.ML

1998-11-29 wenzelm [Sun, 29 Nov 1998 13:20:49 +0100] rev 5993
tuned print_state;
changed solve semantics: support back-pressure of asms (cut, def etc.);
src/Pure/Isar/proof.ML