/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2009-06-17 08:13 +0200 23593 CK_Machine.thy
-rw-r--r-- 2009-06-17 08:13 +0200 30603 CR.thy
-rw-r--r-- 2009-06-17 08:13 +0200 14817 CR_Takahashi.thy
-rw-r--r-- 2009-06-17 08:13 +0200 792918 Class.thy
-rw-r--r-- 2009-06-17 08:13 +0200 11943 Compile.thy
-rw-r--r-- 2009-06-17 08:13 +0200 4892 Contexts.thy
-rw-r--r-- 2009-06-17 08:13 +0200 51275 Crary.thy
-rw-r--r-- 2009-06-17 08:13 +0200 103004 Fsub.thy
-rw-r--r-- 2009-06-17 08:13 +0200 2390 Height.thy
-rw-r--r-- 2009-06-17 08:13 +0200 4693 Lam_Funs.thy
-rw-r--r-- 2009-06-17 08:13 +0200 469 Lambda_mu.thy
-rw-r--r-- 2009-06-17 08:13 +0200 6024 LocalWeakening.thy
-rw-r--r-- 2009-06-17 08:13 +0200 444 ROOT.ML
-rw-r--r-- 2009-06-17 08:13 +0200 20625 SN.thy
-rw-r--r-- 2009-06-17 08:13 +0200 23748 SOS.thy
-rw-r--r-- 2009-06-17 08:13 +0200 35371 Standardization.thy
-rw-r--r-- 2009-06-17 08:13 +0200 4983 Support.thy
-rw-r--r-- 2009-06-17 08:13 +0200 8899 Type_Preservation.thy
-rw-r--r-- 2009-06-17 08:13 +0200 6867 VC_Condition.thy
-rw-r--r-- 2009-06-17 08:13 +0200 11623 W.thy
-rw-r--r-- 2009-06-17 08:13 +0200 8465 Weakening.thy