Thu, 20 Nov 1997 12:49:25 +0100 | wenzelm | added get_error: 'a error -> string option, get_ok: 'a error -> 'a option; | changeset | files |
Thu, 20 Nov 1997 12:48:00 +0100 | wenzelm | added implode_xstr: string list -> string, explode_xstr: string -> string list; | changeset | files |
Thu, 20 Nov 1997 11:55:39 +0100 | paulson | Now uses induct_tac | changeset | files |