--- a/NEWS Tue Oct 26 15:01:39 2010 +0200
+++ b/NEWS Tue Oct 26 15:06:36 2010 +0200
@@ -77,7 +77,7 @@
*** HOL ***
* New command 'partial_function' provides basic support for recursive
-function definitons over complete partial orders. Concrete instances
+function definitions over complete partial orders. Concrete instances
are provided for i) the option type, ii) tail recursion on arbitrary
types, and iii) the heap monad of Imperative_HOL. See
HOL/ex/Fundefs.thy and HOL/Imperative_HOL/ex/Linked_Lists.thy for