NEWS

--- a/NEWS	Wed Jul 23 12:54:49 1997 +0200
+++ b/NEWS	Wed Jul 23 16:03:19 1997 +0200
@@ -14,7 +14,10 @@
 * improved output of warnings / errors;
 
 * deleted the obsolete tactical STATE, which was declared by
-	fun STATE tacfun st = tacfun st st;
+    fun STATE tacfun st = tacfun st st;
+
+* added simplification meta rules
+    (asm_)(full_)simplify: simpset -> thm -> thm;
 
 
 New in Isabelle94-8 (May 1997)