# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1259936590 -3600
# Node ID 4318ab0df27bb04a35934aef4ff72b37a503f182
# Parent  53984a386999b866453d75c07135fbfae1163c05
smaller theory footprint

diff -r 53984a386999 -r 4318ab0df27b QuotList.thy
--- a/QuotList.thy	Fri Dec 04 15:20:06 2009 +0100
+++ b/QuotList.thy	Fri Dec 04 15:23:10 2009 +0100
@@ -1,5 +1,5 @@
 theory QuotList
-imports QuotScript
+imports QuotScript List
 begin
 
 lemma LIST_map_id: