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 604 0cf166548856
parent 601 81f40b8bde7b
child 628 a11b9b757f89 
--- a/Quot/ROOT.ML	Mon Dec 07 15:18:44 2009 +0100
+++ b/Quot/ROOT.ML	Mon Dec 07 15:21:51 2009 +0100
@@ -1,8 +1,9 @@
-no_document use_thys 
+quick_and_dirty := true;
+
+no_document use_thys
    ["QuotMain",
     "Examples/Fset",
     "Examples/IntEx",
     "Examples/IntEx2",
     "Examples/LFex",
     "Examples/LamEx"];
-
nominal2