--- a/ROOT	Tue Aug 07 18:54:52 2012 +0100
+++ b/ROOT	Tue Aug 28 16:47:26 2012 +0100
@@ -1,11 +1,11 @@
-session Nominal2! in "Nominal" = HOL +
+session Nominal2 in "Nominal" = HOL +
   options [document = false]
   theories
     "Nominal2"
     "Atoms"
     "Eqvt"
 
-session Tests! in "Nominal" = Nominal2 +
+session Examples (Tests) in "Nominal" = Nominal2 +
   options [document = false]
   theories
     "Ex/Weakening"
@@ -37,7 +37,33 @@
   theories [quick_and_dirty]
     "Ex/Let"
 
-session Esop! in "ESOP-Paper" = Nominal2 +
+session Tutorial_Exercises (Tests) in "Tutorial" = Nominal2 +
+  options [document = false, quick_and_dirty]
+  theories
+    "Lambda"
+    "Minimal"
+    "Tutorial1s"
+    "Tutorial3s"
+    "Tutorial4s"
+    "Tutorial1"
+    "Tutorial2"
+    "Tutorial2s"
+    "Tutorial3"
+    "Tutorial4"
+    "Tutorial5"
+    "Tutorial6" 
+
+session CPS (Tests) in "Nominal" = Nominal2 +
+  options [document = false, quick_and_dirty]
+  theories
+    "Ex/CPS/Lt"
+    "Ex/CPS/CPS1_Plotkin"
+    "Ex/CPS/CPS2_DanvyNielsen"
+    "Ex/CPS/CPS3_DanvyFilinski"	
+    "Ex/CPS/CPS3_DanvyFilinski_FCB2"
+
+
+session Esop in "ESOP-Paper" = Nominal2 +
    theories [document = false]
      "~~/src/HOL/Library/LaTeXsugar"
    theories