NEWS
changeset 61823 5daa82ba4078
parent 61807 965769fe2b63
child 61841 4d3527b94f2a
     1.1 --- a/NEWS	Wed Dec 09 21:20:56 2015 +0100
     1.2 +++ b/NEWS	Mon Dec 07 10:49:08 2015 +0100
     1.3 @@ -346,12 +346,12 @@
     1.4      notation right.derived ("\<odot>''")
     1.5    end
     1.6  
     1.7 -* Command 'sublocale' accepts mixin definitions after keyword
     1.8 +* Command 'sublocale' accepts rewrite definitions after keyword
     1.9  'defines'.
    1.10  
    1.11  * Command 'permanent_interpretation' is available in Pure, without
    1.12  need to load a separate theory.  Keyword 'defines' identifies
    1.13 -mixin definitions, keyword 'rewrites' identifies rewrite morphisms.
    1.14 +rewrite definitions, keyword 'rewrites' identifies rewrite equations.
    1.15  INCOMPATIBILITY.
    1.16  
    1.17  * Command 'print_definitions' prints dependencies of definitional