src/HOL/Tools/res_atp.ML
changeset 18003 2aecb2d68c00
parent 17888 116a8d1c7a67
child 18270 27227433cb42
     1.1 --- a/src/HOL/Tools/res_atp.ML	Fri Oct 28 02:28:20 2005 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Oct 28 02:29:01 2005 +0200
     1.3 @@ -13,6 +13,7 @@
     1.4    val helper_path: string -> string -> string
     1.5    val problem_name: string ref
     1.6    val time_limit: int ref
     1.7 +  val writeln_strs: TextIO.outstream -> TextIO.vector list -> unit
     1.8  end;
     1.9  
    1.10  structure ResAtp: RES_ATP =