| Thu, 19 May 1994 16:25:03 +0200 | wenzelm | (replaces Thy/scan.ML) | changeset | files |
| Thu, 19 May 1994 16:22:48 +0200 | wenzelm | new datatype theory, supports 'draft theories' and incremental extension: | changeset | files |
| Thu, 19 May 1994 16:20:52 +0200 | wenzelm | added const_type: sg -> typ option; | changeset | files |