| 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 |
| Thu, 20 Nov 1997 12:49:25 +0100 | wenzelm | added get_error: 'a error -> string option, get_ok: 'a error -> 'a option; | changeset | files |