tuned;
authorwenzelm
Thu Apr 02 14:02:34 2009 +0200 (2009-04-02)
changeset 30847dd9a1662413b
parent 30846 fd8ed5a39a8e
child 30848 c57b57546a07
tuned;
NEWS
     1.1 --- a/NEWS	Thu Apr 02 13:41:31 2009 +0200
     1.2 +++ b/NEWS	Thu Apr 02 14:02:34 2009 +0200
     1.3 @@ -624,8 +624,8 @@
     1.4  old one could solve, and "simp add: cont2cont_LAM" may be necessary.
     1.5  Potential INCOMPATIBILITY.
     1.6  
     1.7 -* The syntax of the fixrec package now conforms to the general
     1.8 -specification format of inductive, primrec, function, etc.  See
     1.9 +* Command 'fixrec': specification syntax now conforms to the general
    1.10 +format as seen in 'inductive', 'primrec', 'function', etc.  See
    1.11  src/HOLCF/ex/Fixrec_ex.thy for examples.  INCOMPATIBILITY.
    1.12  
    1.13