diff -r 051bd9e90e92 -r a19a5179fbca QuotList.thy
--- a/QuotList.thy	Fri Dec 04 15:25:26 2009 +0100
+++ b/QuotList.thy	Fri Dec 04 15:25:51 2009 +0100
@@ -1,5 +1,5 @@
 theory QuotList
-imports QuotScript
+imports QuotScript List
 begin
 
 lemma LIST_map_id: