--- a/CpsG.thy	Thu Feb 04 14:45:30 2016 +0800
+++ b/CpsG.thy	Fri Feb 05 20:11:12 2016 +0800
@@ -1,4 +1,4 @@
-theory PIPBasics
+theory CpsG
 imports PIPDefs
 begin