Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
theorems involving oracles are now printed with a suffixed [!];
authorwenzelm
Thu, 08 Jul 1999 18:28:02 +0200
changeset 6925 8d4d45ec6a3d
parent 6924 7e166f8d412e
child 6926 7ffc131909e5
theorems involving oracles are now printed with a suffixed [!];
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle