changeset 68250 | c45067867860 |
parent 67022 | 49309fe530fd |
child 70586 | 57df8a85317a |
--- a/src/HOL/Tools/ATP/atp_proof.ML Tue May 22 11:08:37 2018 +0200 +++ b/src/HOL/Tools/ATP/atp_proof.ML Tue May 22 17:15:02 2018 +0200 @@ -54,6 +54,7 @@ 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 @@ -124,6 +125,7 @@ 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"