--- a/src/HOL/TPTP/MaSh_Export.thy Wed Jul 18 08:44:03 2012 +0200
+++ b/src/HOL/TPTP/MaSh_Export.thy Wed Jul 18 08:44:03 2012 +0200
@@ -5,7 +5,7 @@
header {* MaSh Exporter *}
theory MaSh_Export
-imports ATP_Theory_Export
+imports Complex_Main
uses "mash_export.ML"
begin