added simplification meta rules;
authorwenzelm
Wed Jul 23 16:03:19 1997 +0200 (1997-07-23)
changeset 3567e2539e1980b4
parent 3566 c9c351374651
child 3568 36ff1ab12021
added simplification meta rules;
NEWS
     1.1 --- a/NEWS	Wed Jul 23 12:54:49 1997 +0200
     1.2 +++ b/NEWS	Wed Jul 23 16:03:19 1997 +0200
     1.3 @@ -14,7 +14,10 @@
     1.4  * improved output of warnings / errors;
     1.5  
     1.6  * deleted the obsolete tactical STATE, which was declared by
     1.7 -	fun STATE tacfun st = tacfun st st;
     1.8 +    fun STATE tacfun st = tacfun st st;
     1.9 +
    1.10 +* added simplification meta rules
    1.11 +    (asm_)(full_)simplify: simpset -> thm -> thm;
    1.12  
    1.13  
    1.14  New in Isabelle94-8 (May 1997)