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.
merged
authorboehmes
Wed, 08 Jun 2011 13:45:01 +0200
changeset 43274 ad4611809a29
parent 43273 4de998188c1d (current diff)
parent 43271 8b968645d216 (diff)
child 43275 327b91364464
child 43288 7a4eebdebb23
merged
--- 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"
isabelle