| Thu, 29 Jun 2000 22:31:53 +0200 | wenzelm | fixed is_semicolon (keyword instead of command!); | changeset | files |
| Thu, 29 Jun 2000 22:31:29 +0200 | wenzelm | added add_method; | changeset | files |
| Thu, 29 Jun 2000 22:31:12 +0200 | wenzelm | have_theorems etc.: handle multiple lists of arguments; | changeset | files |
| Thu, 29 Jun 2000 22:29:46 +0200 | wenzelm | have_thmss: handle multiple lists of arguments; | changeset | files |