--- a/NEWS Thu Aug 27 18:36:23 1998 +0200
+++ b/NEWS Thu Aug 27 18:46:57 1998 +0200
@@ -20,6 +20,8 @@
less_imp_add_less should be replaced by trans_less_add1
le_imp_add_le should be replaced by trans_le_add1
+* Pure: ML function 'theory_of' replaced by 'theory';
+
*** Proof tools ***