
diff -r f51e2b3e3149 -r 5e92ce8f306d QuotScript.thy
--- 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 




