spelling

--- a/NEWS	Fri Feb 27 15:41:28 2015 +0100
+++ b/NEWS	Sat Feb 28 08:50:00 2015 +0100
@@ -23,7 +23,7 @@
 INCOMPATIBILITY, make sure that required theories are really imported.
 
 * 'find_theorems': search patterns which are abstractions are
-schematcially expanded before search. Search results match the naive
+schematically expanded before search. Search results match the naive
 expectation more closely, particularly wrt. abbreviations.
 INCOMPATIBILITY.