NEWS
changeset 21462 74ddf3a522f8
parent 21447 379f130843f7
child 21471 03a5ef1936c5
     1.1 --- a/NEWS	Wed Nov 22 10:20:22 2006 +0100
     1.2 +++ b/NEWS	Wed Nov 22 10:21:17 2006 +0100
     1.3 @@ -560,7 +560,7 @@
     1.4  INCOMPATIBILITY: ML code directly refering to constant names may need adaption
     1.5  This in general only affects hand-written proof tactics, simprocs and so on.
     1.6  
     1.7 -* New theory Code_Generator providing class 'eq' with constant 'eq',
     1.8 +* New theory Code_Generator providing class 'eq',
     1.9  allowing for code generation with polymorphic equality.
    1.10  
    1.11  * Numeral syntax: type 'bin' which was a mere type copy of 'int' has been