| 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 |
| Thu, 19 May 1994 16:17:46 +0200 | wenzelm | added print_sign, print_axioms: theory -> unit; | changeset | files |
| Thu, 19 May 1994 16:16:36 +0200 | wenzelm | support for new style mixfix annotations; | changeset | files |