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