| 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 |
| Thu, 19 May 1994 16:15:38 +0200 | wenzelm | added incremental extension functions: extend_log_types, extend_type_gram, | changeset | files |