# HG changeset patch
# User blanchet
# Date 1342593843 -7200
# Node ID 788c66a40b322fcd80fc8939a9ba51aa6552e339
# Parent  902ab51dd12a762232667d813a25575248025ebc
dependency tuning

diff -r 902ab51dd12a -r 788c66a40b32 src/HOL/TPTP/MaSh_Export.thy
--- 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