--- a/PIPBasics.thy	Fri Jan 29 10:51:52 2016 +0800
+++ b/PIPBasics.thy	Fri Jan 29 11:01:13 2016 +0800
@@ -1,4 +1,4 @@
-theory CpsG
+theory PIPBasics
 imports PIPDefs
 begin