# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1259936751 -3600
# Node ID a19a5179fbcab28f55818382cb7546236123e035
# Parent  051bd9e90e9258c2e0b8bd1a2f743d4934980fa6# Parent  4318ab0df27bb04a35934aef4ff72b37a503f182
merge

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: