| Sat, 25 Sep 1999 13:18:20 +0200 | wenzelm | defs: name mandatory; | changeset | files |
| Sat, 25 Sep 1999 13:17:38 +0200 | wenzelm | avoid interrupts of read loop; | changeset | files |
| Sat, 25 Sep 1999 13:08:54 +0200 | wenzelm | simplified sectioned_args; | changeset | files |
| Sat, 25 Sep 1999 13:08:08 +0200 | wenzelm | Proof.reset_thms calculationN; | changeset | files |
| Sat, 25 Sep 1999 13:07:48 +0200 | wenzelm | admit unbinding; | changeset | files |
| Sat, 25 Sep 1999 13:06:59 +0200 | wenzelm | unfold / fold defs; | changeset | files |
| Sat, 25 Sep 1999 13:06:06 +0200 | wenzelm | skolem_tag; | changeset | files |
| Sat, 25 Sep 1999 13:05:38 +0200 | wenzelm | added fold_rule; | changeset | files |