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: