diff -r 146b4817aebd -r 9deaff82e0c5 thys/ROOT
--- a/thys/ROOT	Thu Jun 29 17:57:41 2017 +0100
+++ b/thys/ROOT	Fri Jun 30 17:41:45 2017 +0100
@@ -5,6 +5,7 @@
         "Simplifying"
         (*"Sulzmann"*) 
         "Positions"
+        "Fun"
 
 session Paper in "Paper" = Lex +
   options [document = pdf, document_output = "..", document_variants="paper"]