src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Feb 19 15:57:02 2014 +0000
+++ b/src/HOL/ROOT	Wed Feb 19 15:57:02 2014 +0000
@@ -668,6 +668,7 @@
     MaSh_Export
     TPTP_Interpret
     THF_Arith
+    TPTP_Proof_Reconstruction
   theories
     ATP_Problem_Import