| Wed, 05 Apr 2000 21:05:20 +0200 | wenzelm | induct/case_tac emulation: optional rule; | changeset | files |
| Wed, 05 Apr 2000 21:02:31 +0200 | wenzelm | HEADGOAL; | changeset | files |
| Wed, 05 Apr 2000 21:02:19 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 05 Apr 2000 21:01:59 +0200 | wenzelm | removed "as" keyword; | changeset | files |
| Wed, 05 Apr 2000 21:01:33 +0200 | wenzelm | suppress warning; | changeset | files |
| Tue, 04 Apr 2000 22:16:11 +0200 | wenzelm | print_simpset / print_claset command; | changeset | files |