--- a/ROOT	Wed Jan 06 20:46:14 2016 +0800
+++ b/ROOT	Wed Jan 06 16:34:26 2016 +0000
@@ -1,7 +1,7 @@
 session "PIP" = HOL +
   theories [document = false, quick_and_dirty]
-	"CpsG" 
-	"ExtGG"
+	"Implementation" 
+	"Correctness"
         "Test" 
 
 session "Slides2" in "Slides" = PIP +