| 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 |