| Sat, 01 Jul 2000 19:44:57 +0200 | wenzelm | removed "help"; | changeset | files |
| Sat, 01 Jul 2000 19:44:16 +0200 | wenzelm | added options "eta_contract", "long_names"; | changeset | files |
| Sat, 01 Jul 2000 19:42:50 +0200 | wenzelm | added print_trans_rules, print_antiquotations; | changeset | files |
| Sat, 01 Jul 2000 19:42:25 +0200 | wenzelm | removed help; | changeset | files |
| Sat, 01 Jul 2000 19:42:08 +0200 | wenzelm | tuned print_rules; | changeset | files |
| Sat, 01 Jul 2000 19:41:11 +0200 | wenzelm | removed help_attributes; | changeset | files |
| Sat, 01 Jul 2000 19:40:46 +0200 | wenzelm | print_theorems: omit name space; | changeset | files |
| Sat, 01 Jul 2000 17:52:52 +0200 | nipkow | Defined abs on int. | changeset | files |