# HG changeset patch
# User krauss
# Date 1288098396 -7200
# Node ID a402043d267a04383fa8dfe905b5fa634538f4e2
# Parent  f2f5071404f149697108013035dec601a64ae17f
fixed typo

diff -r f2f5071404f1 -r a402043d267a NEWS
--- 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