diff -r 7e166f8d412e -r 8d4d45ec6a3d NEWS
--- a/NEWS	Thu Jul 08 18:27:01 1999 +0200
+++ b/NEWS	Thu Jul 08 18:28:02 1999 +0200
@@ -297,6 +297,8 @@
 
 * support multiple print (ast) translations per constant name;
 
+* theorems involving oracles are now printed with a suffixed [!];
+
 
 *** HOL ***