tuned;
authorwenzelm
Thu Oct 03 16:32:33 2013 +0200 (2013-10-03)
changeset 54054c37100233af7
parent 54053 ad5e2ed466ac
child 54055 5bf55a713232
child 54304 65c6a00ff86b
tuned;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Thu Oct 03 16:25:40 2013 +0200
     1.2 +++ b/ANNOUNCE	Thu Oct 03 16:32:33 2013 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4    HOL-Multivariate_Analysis.
     1.5  
     1.6  * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
     1.7 -  Nitpick, Sledgehammer,
     1.8 +  Nitpick, Sledgehammer.
     1.9  
    1.10  * HOL-BNF: significantly improved BNF-based (co)datatype package.
    1.11