# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1344362030 -3600
# Node ID ca6ca6fc28afc7527d16276a69a2574e34c13549
# Parent  deef21dc972f6fc14d4eb6482d92b528d29f3a0d
tuned

diff -r deef21dc972f -r ca6ca6fc28af ROOT
--- 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