NEWS
changeset 23977 5a3ec03c825b
parent 23971 e6d505d5b03d
child 24032 b3d7eb6f535f
     1.1 --- a/NEWS	Tue Jul 24 23:55:28 2007 +0200
     1.2 +++ b/NEWS	Wed Jul 25 10:19:01 2007 +0200
     1.3 @@ -373,8 +373,8 @@
     1.4    interpretation partial_order ["op <= :: [int, int] => bool"]
     1.5      where "partial_order.less (op <=) (x::int) y = (x < y)"
     1.6  
     1.7 -Typically, the constant `partial_order.less' is created by the
     1.8 -specification element definition in the context of locale partial_order.
     1.9 +Typically, the constant `partial_order.less' is created by a definition
    1.10 +specification element in the context of locale partial_order.
    1.11  
    1.12  * Provers/induct: improved internal context management to support
    1.13  local fixes and defines on-the-fly.  Thus explicit meta-level