| Tue, 18 Apr 2000 00:49:49 +0200 | wenzelm | renamed 'hide' to 'hide_action'; | changeset | files |
| Tue, 18 Apr 2000 00:36:02 +0200 | wenzelm | fixed theory deps; | changeset | files |
| Mon, 17 Apr 2000 14:27:10 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 17 Apr 2000 14:20:41 +0200 | wenzelm | made SML/NJ happy; | changeset | files |