# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1285172006 -7200
# Node ID 0c2eb0ed30a04cf870ee887b81fe5e5be88819c3
# Parent  3a5ebb2fcdbf9497bcf78427ca05f40e3d347185
fixed

diff -r 3a5ebb2fcdbf -r 0c2eb0ed30a0 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Wed Sep 22 14:19:48 2010 +0800
+++ b/Nominal/ROOT.ML	Wed Sep 22 18:13:26 2010 +0200
@@ -3,7 +3,7 @@
 no_document use_thys
    ["Ex/Classical",    
     "Ex/CoreHaskell",
-     Ex/Datatypes",
+    "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
     "Ex/Multi_Recs",