/Nominal/Ex/Exec/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2013-12-15 15:14 +1100 17237 Lambda_Exec.thy
-rw-r--r-- 2013-12-15 15:14 +1100 1498 Name_Exec.thy
-rw-r--r-- 2013-12-15 15:14 +1100 3945 Paper.thy
-rw-r--r-- 2013-12-15 15:14 +1100 157 ROOT.ML