src/Tools/Code/code_target.ML
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