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.
*** empty log message ***
authornipkow
Wed, 10 Jan 2001 13:30:25 +0100
changeset 10856 e8a5340418b6
parent 10855 140a1ed65665
child 10857 47b1f34ddd09
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Jan 10 12:53:50 2001 +0100
+++ b/NEWS	Wed Jan 10 13:30:25 2001 +0100
@@ -12,9 +12,12 @@
 
 * HOL: infix "dvd" now has priority 50 rather than 70
   (because it is a relation)
-  infix ^^ has been renamed ```
+  infix ^^ has been renamed ``
+  infix `` has been renamed `
   "univalent" has been renamed "single_valued"
 
+* HOLCF: infix ` has been renamed $
+
 * Isar: 'obtain' no longer declares "that" fact as simp/intro;
 
 * Isar/HOL: method 'induct' now handles non-atomic goals; as a
isabelle