| 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 |
| Tue, 04 Apr 2000 18:08:08 +0200 | wenzelm | case_tac / induct_tac: optional rule; | changeset | files |
| Tue, 04 Apr 2000 12:32:02 +0200 | wenzelm | case_tac, induct_tac; | changeset | files |
| Tue, 04 Apr 2000 12:31:48 +0200 | wenzelm | 'let': replaced 'as' by 'and'; | changeset | files |
| Mon, 03 Apr 2000 21:05:07 +0200 | wenzelm | tuned recover; | changeset | files |
| Mon, 03 Apr 2000 14:02:40 +0200 | wenzelm | isapar, isamarkuptext, isamarkuptxt turned into environments; | changeset | files |
| Mon, 03 Apr 2000 14:00:39 +0200 | wenzelm | markup_env_command 'text' / 'txt'; | changeset | files |
| Mon, 03 Apr 2000 14:00:16 +0200 | wenzelm | support markup environments; | changeset | files |
| Sat, 01 Apr 2000 20:26:20 +0200 | wenzelm | tuned presentation; | changeset | files |
| Sat, 01 Apr 2000 20:22:46 +0200 | wenzelm | proper naming of fib equations; | changeset | files |