1.1 --- a/src/HOL/TPTP/ROOT.ML	Tue Apr 17 23:24:46 2012 +0200
     1.2 +++ b/src/HOL/TPTP/ROOT.ML	Tue Apr 17 23:22:40 2012 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  use_thys [
     1.6    "ATP_Theory_Export",
     1.7 -  "TPTP_Parser"
     1.8 +  "TPTP_Interpret"
     1.9  ];
    1.10  
    1.11  Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)