changeset 47898 | 6213900d6d5f |
parent 47787 | 35fcb0daab8d |
child 47899 | 493d70c63fd6 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed May 09 11:24:38 2012 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Thu May 10 10:07:40 2012 +0200 @@ -641,7 +641,7 @@ (Inappropriate, "**** Unexpected end of file."), (Crashed, "Unrecoverable Segmentation Fault")] Hypothesis Hypothesis - (K ((50, CNF_UEQ, "mono_tags??", combsN, false), "") (* FUDGE *)) + (K ((50, CNF_UEQ, "raw_mono_tags??", combsN, false), "") (* FUDGE *)) (* Setup *)