# HG changeset patch
# User wenzelm
# Date 1307528017 -7200
# Node ID 8b968645d216f7960fced9da77b13bb89ed55d20
# Parent  bc72c1ccc89e402d4dcf2a2f20085c1f3236f74d
updated imports (cf. 93b1183e43e5);

diff -r bc72c1ccc89e -r 8b968645d216 doc-src/Codegen/Thy/Setup.thy
--- a/doc-src/Codegen/Thy/Setup.thy	Wed Jun 08 10:24:07 2011 +0200
+++ b/doc-src/Codegen/Thy/Setup.thy	Wed Jun 08 12:13:37 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"