equal
deleted
inserted
replaced
10 * removed obsolete init_pps and init_database; |
10 * removed obsolete init_pps and init_database; |
11 |
11 |
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 |
|
16 * deleted the obsolete tactical STATE, which was declared by |
|
17 fun STATE tacfun st = tacfun st st; |
15 |
18 |
16 |
19 |
17 New in Isabelle94-8 (May 1997) |
20 New in Isabelle94-8 (May 1997) |
18 ------------------------------ |
21 ------------------------------ |
19 |
22 |