equal
deleted
inserted
replaced
12 * defs may now be conditional; |
12 * defs may now be conditional; |
13 |
13 |
14 * improved output of warnings / errors; |
14 * improved output of warnings / errors; |
15 |
15 |
16 * deleted the obsolete tactical STATE, which was declared by |
16 * deleted the obsolete tactical STATE, which was declared by |
17 fun STATE tacfun st = tacfun st st; |
17 fun STATE tacfun st = tacfun st st; |
|
18 |
|
19 * added simplification meta rules |
|
20 (asm_)(full_)simplify: simpset -> thm -> thm; |
18 |
21 |
19 |
22 |
20 New in Isabelle94-8 (May 1997) |
23 New in Isabelle94-8 (May 1997) |
21 ------------------------------ |
24 ------------------------------ |
22 |
25 |