NEWS
changeset 23565 c00b12a4e245
parent 23564 ae0e735fbec8
child 23783 e4d514f81d95
     1.1 --- a/NEWS	Wed Jul 04 14:10:01 2007 +0200
     1.2 +++ b/NEWS	Wed Jul 04 14:21:00 2007 +0200
     1.3 @@ -551,11 +551,11 @@
     1.4  wait for the automatic provers to return.
     1.5  
     1.6  * Case-expressions allow arbitrary constructor-patterns (including "_") and
     1.7 -  takes their order into account, like in functional programming.
     1.8 +  take their order into account, like in functional programming.
     1.9    Internally, this is translated into nested case-expressions; missing cases
    1.10    are added and mapped to the predefined constant "undefined". In complicated
    1.11    cases printing may no longer show the original input but the internal
    1.12 -  form. Lambda-abstraction allows the same form of pattern matching:
    1.13 +  form. Lambda-abstractions allow the same form of pattern matching:
    1.14    "% pat1 => e1 | ..." is an abbreviation for
    1.15    "%x. case x of pat1 => e1 | ..." where x is a new variable.
    1.16