Mercurial Mercurial > hg > nominal2 / 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.
corrected name of FSet in ROOT.ML
authorChristian Urban <urbanc@in.tum.de>
Tue, 08 Dec 2009 14:00:48 +0100
changeset 628 a11b9b757f89
parent 627 88f831f86b96
child 630 7a6aead83647
child 632 d23416464f62
corrected name of FSet in ROOT.ML
Quot/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/Quot/ROOT.ML	Tue Dec 08 13:09:21 2009 +0100
+++ b/Quot/ROOT.ML	Tue Dec 08 14:00:48 2009 +0100
@@ -2,7 +2,7 @@
 
 no_document use_thys
    ["QuotMain",
-    "Examples/Fset",
+    "Examples/FSet",
     "Examples/IntEx",
     "Examples/IntEx2",
     "Examples/LFex",
nominal2