--- a/src/HOL/TPTP/ROOT.ML Tue Apr 17 23:24:46 2012 +0200
+++ b/src/HOL/TPTP/ROOT.ML Tue Apr 17 23:22:40 2012 +0100
@@ -8,7 +8,7 @@
use_thys [
"ATP_Theory_Export",
- "TPTP_Parser"
+ "TPTP_Interpret"
];
Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)