src/Doc/Codegen/Evaluation.thy
changeset 51713 4fd969609b4d
parent 48985 5386df44a037
child 52287 7e54c4d964e7
     1.1 --- a/src/Doc/Codegen/Evaluation.thy	Wed Apr 17 21:23:35 2013 +0200
     1.2 +++ b/src/Doc/Codegen/Evaluation.thy	Thu Apr 18 18:55:23 2013 +0200
     1.3 @@ -156,7 +156,7 @@
     1.4    @{text "SOME t'"} in the first case, @{text "NONE"} in the
     1.5    second, and propagating the exception in the third case.  A strict
     1.6    variant of plain evaluation either yields @{text "t'"} or propagates
     1.7 -  any exception, a liberal variant caputures any exception in a result
     1.8 +  any exception, a liberal variant captures any exception in a result
     1.9    of type @{text "Exn.result"}.
    1.10    
    1.11    For property conversion (which coincides with conversion except for