--- a/NEWS Thu Jan 11 12:12:01 2001 +0100
+++ b/NEWS Thu Jan 11 12:49:48 2001 +0100
@@ -1,4 +1,3 @@
-
Isabelle NEWS -- history user-relevant changes
==============================================
@@ -15,7 +14,7 @@
relation); infix "^^" has been renamed "``"; infix "``" has been
renamed "`"; "univalent" has been renamed "single_valued";
-* HOLCF: infix "`" has been renamed "$";
+* HOLCF: infix "`" has been renamed "$"; the symbol syntax is \<cdot>;
* Isar: 'obtain' no longer declares "that" fact as simp/intro;