changeset 4073 | d16ff2cc1089 |
parent 4049 | b2a70d318df2 |
child 4124 | 1af16493c57f |
--- a/src/Pure/pure_thy.ML Mon Nov 03 09:58:06 1997 +0100 +++ b/src/Pure/pure_thy.ML Mon Nov 03 11:46:25 1997 +0100 @@ -69,7 +69,9 @@ in -val theorems_data = (theoremsK, (mk_empty (), mk_empty, mk_empty, print)); +val theorems_data: + string * (exn * (exn -> exn) * (exn * exn -> exn) * (exn -> unit)) = + (theoremsK, (mk_empty (), mk_empty, mk_empty, print)); end;