--- a/ROOT	Tue Feb 19 05:38:46 2013 +0000
+++ b/ROOT	Tue Feb 19 06:58:14 2013 +0000
@@ -17,7 +17,7 @@
     "Ex/Multi_Recs2"
     "Ex/LF"
     "Ex/Lambda"
-    (*"Ex/Let",*)
+    "Ex/Let"
     "Ex/LetPat"
     "Ex/LetRec"
     "Ex/LetRec2"
@@ -33,39 +33,5 @@
     "Ex/Foo2"
     "Ex/CoreHaskell"
     "Ex/CoreHaskell2"
-    "Ex/Pi"
-  theories [quick_and_dirty]
-    "Ex/Let"
-
-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 
-     "Paper"
-   files "document/root.bib" "document/root.tex" 
\ No newline at end of file