--- a/Nominal/ROOT.ML	Mon Sep 27 12:19:17 2010 -0400
+++ b/Nominal/ROOT.ML	Tue Sep 28 05:56:11 2010 -0400
@@ -18,5 +18,6 @@
     "Ex/Modules",
     "Ex/SingleLet",
     "Ex/TypeSchemes",
-    "Ex/TypeVarsTest"
+    "Ex/TypeVarsTest",
+    "Ex/Foo1"
     ];