NEWS
changeset 60429 d3d1e185cd63
parent 60418 0bcffc47eaca
child 60460 abee0de69a89
     1.1 --- a/NEWS	Thu Jun 11 21:41:55 2015 +0100
     1.2 +++ b/NEWS	Fri Jun 12 08:53:23 2015 +0200
     1.3 @@ -65,13 +65,13 @@
     1.4  * Nitpick:
     1.5    - Removed "check_potential" and "check_genuine" options.
     1.6  
     1.7 -* Constants Fields.divide (... / ...) and Divides.div (... div ...)
     1.8 +* Former constants Fields.divide (_ / _) and Divides.div (_ div _)
     1.9  are logically unified to Rings.divide in syntactic type class
    1.10 -Rings.divide, with particular infix syntax added as abbreviations
    1.11 -in classes Fields.inverse and Divides.div respectively.  INCOMPATIBILITY,
    1.12 -instantiatios must refer to Rings.divide rather than the former
    1.13 -separate constants, and infix syntax is usually not available during
    1.14 -instantiation.
    1.15 +Rings.divide, with infix syntax (_ div _).  Infix syntax (_ / _)
    1.16 +for field division is added later as abbreviation in class Fields.inverse.
    1.17 +INCOMPATIBILITY,  instantiatios must refer to Rings.divide rather
    1.18 +than the former separate constants, hence infix syntax (_ / _) is usually
    1.19 +not available during instantiation.
    1.20  
    1.21  * Library/Multiset:
    1.22    - Renamed multiset inclusion operators: