--- a/src/HOL/Tools/ATP/atp_proof.ML Tue Jun 24 08:19:56 2014 +0200
+++ b/src/HOL/Tools/ATP/atp_proof.ML Tue Jun 24 08:19:57 2014 +0200
@@ -46,6 +46,7 @@
val agsyholN : string
val alt_ergoN : string
val dummy_thfN : string
+ val dummy_thf_mlN : string
val eN : string
val e_malesN : string
val e_parN : string
@@ -100,6 +101,7 @@
val agsyholN = "agsyhol"
val alt_ergoN = "alt_ergo"
val dummy_thfN = "dummy_thf" (* for experiments *)
+val dummy_thf_mlN = "dummy_thf_ml" (* for experiments *)
val eN = "e"
val e_malesN = "e_males"
val e_parN = "e_par"