# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1259936317 -3600
# Node ID 5e92ce8f306da38da2425d5802b777f1d4437ee6
# Parent  f51e2b3e31490d36932615bebc689bdc6cef1c04
smaller theory footprint

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