Added "writeln_strs" to the signature
authormengj
Fri Oct 28 02:29:01 2005 +0200 (2005-10-28)
changeset 180032aecb2d68c00
parent 18002 35ec4681d38f
child 18004 1883971957de
Added "writeln_strs" to the signature
src/HOL/Tools/res_atp.ML
     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 =