* http://cs.unibo.it/helm/.
*)
-val auto_tac : ?num:int option -> Mysql.dbd -> ProofEngineTypes.tactic
-val auto_tac_new : dbd:Mysql.dbd -> ProofEngineTypes.tactic
+val auto_tac:
+ ?depth:int -> ?width:int -> dbd:Mysql.dbd -> unit ->
+ ProofEngineTypes.tactic