changeset 36471 | 5aae37575885 |
parent 36271 | 2ef9dbddfcb8 |
child 36537 | b0186c66f324 |
--- a/src/Tools/Code/code_target.ML Wed Apr 28 15:17:09 2010 +0200 +++ b/src/Tools/Code/code_target.ML Wed Apr 28 15:17:13 2010 +0200 @@ -6,6 +6,9 @@ signature CODE_TARGET = sig + val cert_tyco: theory -> string -> string + val read_tyco: theory -> string -> string + type serializer type literals = Code_Printer.literals val add_target: string * (serializer * literals) -> theory -> theory