* added overloaded operations "inverse" and "divide" (infix "/");
authorwenzelm
Fri Nov 10 19:20:17 2000 +0100 (2000-11-10)
changeset 10452abeefb0a79ae
parent 10451 226d474e644d
child 10453 ad91d022ab4c
* added overloaded operations "inverse" and "divide" (infix "/");
NEWS
     1.1 --- a/NEWS	Fri Nov 10 19:18:37 2000 +0100
     1.2 +++ b/NEWS	Fri Nov 10 19:20:17 2000 +0100
     1.3 @@ -1,3 +1,4 @@
     1.4 +
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -57,6 +58,8 @@
     1.9  HOL/Induct/Multiset, HOL/Induct/Acc (as Accessible_Part), HOL/While
    1.10  (as While_Combinator), HOL/Lex/Prefix (as List_Prefix);
    1.11  
    1.12 +* added overloaded operations "inverse" and "divide" (infix "/");
    1.13 +
    1.14  * >, >= and \<ge> can now be used for input; they are immediately replaced
    1.15    by the converse symbol, eg "x > y" by "y < x".
    1.16