Tue, 23 Aug 1994 19:34:01 +0200 | wenzelm | added print_syntax: theory -> unit; | changeset | files |
Tue, 23 Aug 1994 19:33:33 +0200 | wenzelm | read_def_cterm: minor changes; | changeset | files |
Tue, 23 Aug 1994 19:31:05 +0200 | wenzelm | removed constant _constrain from Pure sig; | changeset | files |