/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2017-11-01 20:46 +0100 23727 CK_Machine.thy
-rw-r--r-- 2017-11-01 20:46 +0100 30625 CR.thy
-rw-r--r-- 2017-11-01 20:46 +0100 14753 CR_Takahashi.thy
-rw-r--r-- 2017-11-01 20:46 +0100 335282 Class1.thy
-rw-r--r-- 2017-11-01 20:46 +0100 242529 Class2.thy
-rw-r--r-- 2017-11-01 20:46 +0100 216574 Class3.thy
-rw-r--r-- 2017-11-01 20:46 +0100 12007 Compile.thy
-rw-r--r-- 2017-11-01 20:46 +0100 4993 Contexts.thy
-rw-r--r-- 2017-11-01 20:46 +0100 50630 Crary.thy
-rw-r--r-- 2017-11-01 20:46 +0100 91281 Fsub.thy
-rw-r--r-- 2017-11-01 20:46 +0100 2445 Height.thy
-rw-r--r-- 2017-11-01 20:46 +0100 4774 Lam_Funs.thy
-rw-r--r-- 2017-11-01 20:46 +0100 475 Lambda_mu.thy
-rw-r--r-- 2017-11-01 20:46 +0100 6119 LocalWeakening.thy
-rw-r--r-- 2017-11-01 20:46 +0100 43979 Pattern.thy
-rw-r--r-- 2017-11-01 20:46 +0100 21218 SN.thy
-rw-r--r-- 2017-11-01 20:46 +0100 23572 SOS.thy
-rw-r--r-- 2017-11-01 20:46 +0100 35356 Standardization.thy
-rw-r--r-- 2017-11-01 20:46 +0100 5079 Support.thy
-rw-r--r-- 2017-11-01 20:46 +0100 8912 Type_Preservation.thy
-rw-r--r-- 2017-11-01 20:46 +0100 7029 VC_Condition.thy
-rw-r--r-- 2017-11-01 20:46 +0100 20678 W.thy
-rw-r--r-- 2017-11-01 20:46 +0100 8588 Weakening.thy