# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1346168846 -3600
# Node ID e42d281bf5ef9a99527771daae170f29747c8a87
# Parent  25d11b449e920f48d531851a2c84d6a85d43b29a
added a nefangled ROOT file

diff -r 25d11b449e92 -r e42d281bf5ef ROOT
--- 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