--- a/Quot/ROOT.ML	Sat Jan 23 17:25:18 2010 +0100
+++ b/Quot/ROOT.ML	Sun Jan 24 23:41:27 2010 +0100
@@ -11,4 +11,5 @@
     "Examples/LFex",
     "Examples/LamEx",
     "Examples/LarryDatatype",
-    "Examples/LarryInt"];
+    "Examples/LarryInt",
+    "Examples/Terms"];