| Sat, 25 Sep 1999 13:18:38 +0200 | wenzelm | tuned; | changeset | files |
| 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 |