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