diff -r f35753951058 -r b90ff5abb437 thys/ROOT
--- a/thys/ROOT	Sun Jun 25 12:44:01 2017 +0100
+++ b/thys/ROOT	Mon Jun 26 17:43:28 2017 +0100
@@ -3,8 +3,8 @@
 	"Lexer"
         "LexerExt" 
         "Simplifying"
-        "Sulzmann" 
-
+        (*"Sulzmann"*) 
+        "Positions"
 
 session Paper in "Paper" = Lex +
   options [document = pdf, document_output = "..", document_variants="paper"]