src/HOL/TPTP/ROOT.ML

--- a/src/HOL/TPTP/ROOT.ML	Tue Jul 17 23:11:27 2012 +0200
+++ b/src/HOL/TPTP/ROOT.ML	Wed Jul 18 08:44:03 2012 +0200
@@ -7,6 +7,8 @@
 *)
 
 use_thys [
+  "ATP_Theory_Export",
+  "MaSh_Export",
   "MaSh_Import",
   "TPTP_Interpret",
   "THF_Arith"