diff -r 88094aa77026 -r b12f0321dfb0 Quot/ROOT.ML
--- 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",