--- a/Quot/ROOT.ML	Thu Dec 10 16:56:03 2009 +0100
+++ b/Quot/ROOT.ML	Thu Dec 10 18:28:30 2009 +0100
@@ -7,4 +7,5 @@
     "Examples/IntEx",
     "Examples/IntEx2",
     "Examples/LFex",
-    "Examples/LamEx"];
+    "Examples/LamEx",
+    "Examples/Larry"];