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 |
Sat, 22 Nov 1997 13:26:43 +0100 | wenzelm | made SML/NJ happy; | changeset | files |