| Tue, 27 Apr 1999 10:42:37 +0200 | wenzelm | opt_thm_name: name optional; | changeset | files |
| Tue, 27 Apr 1999 10:42:08 +0200 | wenzelm | added oooo; | changeset | files |
| Mon, 26 Apr 1999 13:25:49 +0200 | paulson | fixed a bug many years old in rule plusEC | changeset | files |
| Mon, 26 Apr 1999 10:44:45 +0200 | wenzelm | tuned msgs; | changeset | files |