# HG changeset patch
# User boehmes
# Date 1307533501 -7200
# Node ID ad4611809a294bbad80cf8f7c2ff92407e21f022
# Parent  4de998188c1d7faf6e9459e0e4ea03e6254bd37c# Parent  8b968645d216f7960fced9da77b13bb89ed55d20
merged

diff -r 4de998188c1d -r ad4611809a29 doc-src/Codegen/Thy/Setup.thy
--- a/doc-src/Codegen/Thy/Setup.thy	Wed Jun 08 13:43:15 2011 +0200
+++ b/doc-src/Codegen/Thy/Setup.thy	Wed Jun 08 13:45:01 2011 +0200
@@ -1,7 +1,7 @@
 theory Setup
 imports
   Complex_Main
-  More_List RBT Dlist Mapping
+  More_List RBT Dlist List_Cset Mapping
 uses
   "../../antiquote_setup.ML"
   "../../more_antiquote.ML"