--- a/Nominal/ROOT.ML	Mon Feb 28 15:21:10 2011 +0000
+++ b/Nominal/ROOT.ML	Mon Feb 28 16:47:13 2011 +0000
@@ -2,6 +2,7 @@
 
 no_document use_thys
    ["Atoms",
+    "Eqvt",
     "Ex/Weakening",
     "Ex/Classical",    
     "Ex/Datatypes",