| Tue, 05 Oct 1999 18:56:13 +0200 | berghofe | rep_datatype now stores theorems properly. | changeset | files |
| Tue, 05 Oct 1999 18:26:34 +0200 | wenzelm | fixed title; | changeset | files |
| Tue, 05 Oct 1999 18:16:53 +0200 | wenzelm | added document; | changeset | files |
| Tue, 05 Oct 1999 18:16:41 +0200 | wenzelm | tuned comments; | changeset | files |