Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/Ex/CPS/CPS2_DanvyNielsen.thy
changeset 2895 65efa1c7563c
parent 2869 9c0df9901acf
child 2998 f0fab367453a 
--- 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
nominal2