--- a/QuotScript.thy	Fri Dec 04 15:04:05 2009 +0100
+++ b/QuotScript.thy	Fri Dec 04 15:18:37 2009 +0100
@@ -1,5 +1,5 @@
 theory QuotScript
-imports Main
+imports Plain ATP_Linkup
 begin
 
 definition