--- a/ROOT	Tue Aug 07 16:55:17 2012 +0100
+++ b/ROOT	Tue Aug 07 18:53:50 2012 +0100
@@ -34,11 +34,12 @@
     "Ex/CoreHaskell"
     "Ex/CoreHaskell2"
     "Ex/Pi"
-
-(*
-quick_and_dirty := true;
+  theories [quick_and_dirty]
+    "Ex/Let"
 
-no_document use_thys
-   ["Ex/Let"];
-*)
-
+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