# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1308881033 -32400
# Node ID 65efa1c7563cbeaeb2ba3fc008e44ca2c0c06d2b
# Parent  8ec94871de1e910465ee90dbea4847c228ff68c6
Theory name changes for JEdit

diff -r 8ec94871de1e -r 65efa1c7563c Nominal/Ex/CPS/CPS1_Plotkin.thy
--- 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
 
diff -r 8ec94871de1e -r 65efa1c7563c Nominal/Ex/CPS/CPS2_DanvyNielsen.thy
--- a/Nominal/Ex/CPS/CPS2_DanvyNielsen.thy	Fri Jun 24 10:54:31 2011 +0900
+++ b/Nominal/Ex/CPS/CPS2_DanvyNielsen.thy	Fri Jun 24 11:03:53 2011 +0900
@@ -1,5 +1,5 @@
 header {* CPS transformation of Danvy and Nielsen *}
-theory DanvyNielsen
+theory CPS2_DanvyNielsen
 imports Lt
 begin
 
diff -r 8ec94871de1e -r 65efa1c7563c Nominal/Ex/CPS/CPS3_DanvyFilinski.thy
--- a/Nominal/Ex/CPS/CPS3_DanvyFilinski.thy	Fri Jun 24 10:54:31 2011 +0900
+++ b/Nominal/Ex/CPS/CPS3_DanvyFilinski.thy	Fri Jun 24 11:03:53 2011 +0900
@@ -1,5 +1,5 @@
 header {* CPS transformation of Danvy and Filinski *}
-theory DanvyFilinski imports Lt begin
+theory CPS3_DanvyFilinski imports Lt begin
 
 nominal_primrec
   CPS1 :: "lt \<Rightarrow> (lt \<Rightarrow> lt) \<Rightarrow> lt" ("_*_"  [100,100] 100)