Mercurial Mercurial > hg > nominal2 / 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.
Quot/ROOT.ML
changeset 685 b12f0321dfb0
parent 628 a11b9b757f89
child 700 91b079db7380 
--- a/Quot/ROOT.ML	Thu Dec 10 03:48:39 2009 +0100
+++ b/Quot/ROOT.ML	Thu Dec 10 04:23:13 2009 +0100
@@ -3,6 +3,7 @@
 no_document use_thys
    ["QuotMain",
     "Examples/FSet",
+    "Examples/FSet2",
     "Examples/IntEx",
     "Examples/IntEx2",
     "Examples/LFex",
nominal2