val auto_new : dbd:Mysql.dbd -> ProofEngineTypes.tactic
val change : what:Cic.term -> with_what:Cic.term -> ProofEngineTypes.tactic
val compare : term:Cic.term -> ProofEngineTypes.tactic
val auto_new : dbd:Mysql.dbd -> ProofEngineTypes.tactic
val change : what:Cic.term -> with_what:Cic.term -> ProofEngineTypes.tactic
val compare : term:Cic.term -> ProofEngineTypes.tactic