src/HOL/Tools/ATP/atp_proof.ML

   val e_parN : string
   val e_sineN : string
   val e_tofofN : string
   val ehohN : string
   val iproverN : string
-  val iprover_eqN : string
   val leo2N : string
   val leo3N : string
   val pirateN : string
   val satallaxN : string
   val snarkN : string

 val e_parN = "e_par"
 val e_sineN = "e_sine"
 val e_tofofN = "e_tofof"
 val ehohN = "ehoh"
 val iproverN = "iprover"
-val iprover_eqN = "iprover_eq"
 val leo2N = "leo2"
 val leo3N = "leo3"
 val pirateN = "pirate"
 val satallaxN = "satallax"
 val snarkN = "snark"