Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated imports (cf. 93b1183e43e5);
authorwenzelm
Wed, 08 Jun 2011 12:13:37 +0200
changeset 43271 8b968645d216
parent 43270 bc72c1ccc89e
child 43274 ad4611809a29
updated imports (cf. 93b1183e43e5);
doc-src/Codegen/Thy/Setup.thy file | annotate | diff | comparison | revisions 
--- 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"
isabelle