diff -r c9a1c6f50ff5 -r cf451e182bf0 ROOT
--- a/ROOT	Fri Sep 06 10:06:41 2013 +0100
+++ b/ROOT	Sun Oct 13 23:09:21 2013 +0200
@@ -69,4 +69,39 @@
      "~~/src/HOL/Library/LaTeXsugar"
    theories 
      "Paper"
-   files "document/root.bib" "document/root.tex" 
\ No newline at end of file
+   files "document/root.bib" "document/root.tex"
+
+session Slides1 in "Slides" = Nominal2 +
+  options [document = pdf, document_output= "..", document_variants = "slides1"]
+  theories
+    "Slides1"
+
+session Slides2 in "Slides" = Nominal2 +
+  options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides2"]
+  theories
+    "Slides2"
+
+session Slides3 in "Slides" = Nominal2 +
+  options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides3"]
+  theories
+    "Slides3"
+
+session Slides4 in "Slides" = Nominal2 +
+  options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides4"]
+  theories
+    "Slides4"
+
+session Slides5 in "Slides" = Nominal2 +
+  options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides5"]
+  theories
+    "Slides5"
+
+session Slides9 in "Slides" = Nominal2 +
+  options [quick_and_dirty, document = pdf, document_output= "..", document_variants = "slides9"]
+  theories
+    "Slides9"
+
+session SlidesB in "Slides" = Nominal2 +
+  options [document = pdf, document_output= "..", document_variants = "slidesb"]
+  theories
+    "SlidesB" 
\ No newline at end of file