diff -r cfc1fe0b8490 -r 034ed25535b9 NEWS
--- 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 ***