--- a/Nominal/Ex/CPS/CPS1_Plotkin.thy	Fri Jun 24 10:54:31 2011 +0900
+++ b/Nominal/Ex/CPS/CPS1_Plotkin.thy	Fri Jun 24 11:03:53 2011 +0900
@@ -1,5 +1,5 @@
 header {* CPS conversion *}
-theory Plotkin
+theory CPS1_Plotkin
 imports Lt
 begin