Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Codegen/Thy/Setup.thy
changeset 43271 8b968645d216
parent 42669 04dfffda5671
child 43564 9864182c6bad 
--- 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