author | blanchet |
Wed, 18 Jul 2012 08:44:03 +0200 | |
changeset 49301 | 788c66a40b32 |
parent 49300 | 902ab51dd12a |
child 49302 | 61acb731b4a2 |
1.1 --- a/src/HOL/TPTP/MaSh_Export.thy Wed Jul 18 08:44:03 2012 +0200 1.2 +++ b/src/HOL/TPTP/MaSh_Export.thy Wed Jul 18 08:44:03 2012 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 header {* MaSh Exporter *} 1.5 1.6 theory MaSh_Export 1.7 -imports ATP_Theory_Export 1.8 +imports Complex_Main 1.9 uses "mash_export.ML" 1.10 begin 1.11