/Nominal/Ex/CPS/ Nominal2-Isabelle2016
drwxr-xr-x [up]
-rw-r--r-- 2016-03-19 21:06 +0000 16380 CPS1_Plotkin.thy
-rw-r--r-- 2016-03-19 21:06 +0000 4406 CPS2_DanvyNielsen.thy
-rw-r--r-- 2016-03-19 21:06 +0000 1661 CPS3_DanvyFilinski.thy
-rw-r--r-- 2016-03-19 21:06 +0000 976 CPS3_DanvyFilinski_FCB2.thy
-rw-r--r-- 2016-03-19 21:06 +0000 4123 Lt.thy