Thu, 20 Nov 1997 15:07:19 +0100 | wenzelm | added type object = exn; | changeset | files |
Thu, 20 Nov 1997 15:06:57 +0100 | wenzelm | added transfer_sg; | changeset | files |
Thu, 20 Nov 1997 13:00:50 +0100 | wenzelm | fixed xstr token encoding; | changeset | files |
Thu, 20 Nov 1997 12:59:20 +0100 | wenzelm | tuned infer_types interface; | changeset | files |
Thu, 20 Nov 1997 12:51:55 +0100 | wenzelm | tuned infer_types interface; | changeset | files |
Thu, 20 Nov 1997 12:51:31 +0100 | wenzelm | moved Sign.print_sg to display.ML; | changeset | files |
Thu, 20 Nov 1997 12:50:57 +0100 | wenzelm | exported pretty_classrel, pretty_arity; | changeset | files |