NEWS

--- a/NEWS	Mon Jun 08 20:58:43 2015 +0200
+++ b/NEWS	Mon Jun 08 21:23:28 2015 +0200
@@ -10,7 +10,7 @@
 *** Pure ***
 
 * Isar command 'obtain' binds term abbreviations (via 'is' patterns) in
-the proof body as well, abstracted over hypothetical parameters.
+the proof body as well, abstracted over the hypothetical parameters.
 
 * New Isar command 'supply' supports fact definitions during goal
 refinement ('apply' scripts).