diff -r 7eb352826b42 -r ec31c31b2bb1 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Sat Dec 17 17:10:11 2011 +0000
+++ b/Nominal/ROOT.ML	Sat Dec 17 17:31:40 2011 +0000
@@ -4,15 +4,16 @@
    ["Atoms",
     "Eqvt",
     "Ex/Weakening",
-    (*"Ex/Classical",*)    
+    "Ex/Classical",
     "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
+    "Ex/Height",
     "Ex/Multi_Recs",
     "Ex/Multi_Recs2",
     "Ex/LF",
     "Ex/Lambda",
-    (*"Ex/Let",*)
+    "Ex/Let",
     "Ex/LetPat",
     "Ex/LetRec",
     "Ex/LetRec2",