# HG changeset patch
# User wenzelm
# Date 869666599 -7200
# Node ID e2539e1980b43e1ce409187b1ac2fa3febdebc0e
# Parent  c9c351374651ef77328464274a8946bfb47bb89c
added simplification meta rules;

diff -r c9c351374651 -r e2539e1980b4 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)