| Tue, 25 Nov 1997 16:34:20 +0100 | mueller | resolved merge conflict; | changeset | files |
| Mon, 24 Nov 1997 16:43:43 +0100 | nipkow | Added read_def_cterms for simultaneous reading/typing of terms under | changeset | files |
| Sat, 22 Nov 1997 13:27:02 +0100 | wenzelm | fixed warning; | changeset | files |