Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_proof.ML
changeset 70939 3218999b3715
parent 70938 6d84c3c333d5
child 72355 1f959abe99d5 
--- a/src/HOL/Tools/ATP/atp_proof.ML	Fri Oct 25 15:23:14 2019 +0200
+++ b/src/HOL/Tools/ATP/atp_proof.ML	Fri Oct 25 15:32:41 2019 +0200
@@ -49,7 +49,6 @@
   val alt_ergoN : string
   val eN : string
   val e_parN : string
-  val ehohN : string
   val iproverN : string
   val leo2N : string
   val leo3N : string
@@ -113,7 +112,6 @@
 val alt_ergoN = "alt_ergo"
 val eN = "e"
 val e_parN = "e_par"
-val ehohN = "ehoh"
 val iproverN = "iprover"
 val leo2N = "leo2"
 val leo3N = "leo3"
isabelle