changeset 10799 | ea69ee7e117b |
parent 10793 | 4d6cf7702e3c |
child 10856 | e8a5340418b6 |
--- a/NEWS Fri Jan 05 18:49:16 2001 +0100 +++ b/NEWS Sat Jan 06 10:36:19 2001 +0100 @@ -11,7 +11,9 @@ * HOL: contrapos, contrapos2 renamed to contrapos_nn, contrapos_pp; * HOL: infix "dvd" now has priority 50 rather than 70 - (because it is a relation) + (because it is a relation) + infix ^^ has been renamed ``` + "univalent" has been renamed "single_valued" * Isar: 'obtain' no longer declares "that" fact as simp/intro;