1.1 --- a/NEWS	Thu Oct 16 23:56:57 2008 +0200
     1.2 +++ b/NEWS	Thu Oct 16 23:58:29 2008 +0200
     1.3 @@ -52,7 +52,7 @@
     1.4  covered by the constraints in the initial statement, completed by the
     1.5  type instance information of the background theory.  Non-trivial sort
     1.6  hypotheses, which rarely occur in practice, may be specified via
     1.7 -vacuous propositions of the form SORT_CONSTRAIN('a::c).  For example:
     1.8 +vacuous propositions of the form SORT_CONSTRAINT('a::c).  For example:
     1.9  
    1.10    lemma assumes "SORT_CONSTRAINT('a::empty)" shows False ...
    1.11