| changeset 18370 | db5900e7c6c9 |
| parent 18367 | c209f4b61b51 |
| child 18399 | 651438736fa1 |
--- a/NEWS Thu Dec 08 12:50:04 2005 +0100 +++ b/NEWS Thu Dec 08 20:15:34 2005 +0100 @@ -141,9 +141,6 @@ *** HOL *** -* Theorem 'swap' is no longer bound at the ML top-level. INCOMPATIBILITY, use -Classical.swap instead. - * Alternative iff syntax "A <-> B" for equality on bool (with priority 25 like -->); output depends on the "iff" print_mode, the default is "A = B" (with priority 50).