--- a/ROOT	Thu Sep 21 14:15:55 2017 +0100
+++ b/ROOT	Thu Sep 21 14:23:42 2017 +0100
@@ -2,7 +2,6 @@
   theories [document = false, quick_and_dirty]
 	"Implementation" 
 	"Correctness"
-        "Test" 
 
 session "Slides2" in "Slides" = PIP +
   options [document_variants="slides2"]