# HG changeset patch
# User wenzelm
# Date 931451282 -7200
# Node ID 8d4d45ec6a3df6a20f86734259dfa113c989d084
# Parent  7e166f8d412e144d7dff88f935afb574b355e891
theorems involving oracles are now printed with a suffixed [!];

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 ***