/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2008-06-26 15:06 +0200 23605 CK_Machine.thy
-rw-r--r-- 2008-06-26 15:06 +0200 30603 CR.thy
-rw-r--r-- 2008-06-26 15:06 +0200 14721 CR_Takahashi.thy
-rw-r--r-- 2008-06-26 15:06 +0200 792896 Class.thy
-rw-r--r-- 2008-06-26 15:06 +0200 11806 Compile.thy
-rw-r--r-- 2008-06-26 15:06 +0200 4910 Contexts.thy
-rw-r--r-- 2008-06-26 15:06 +0200 51300 Crary.thy
-rw-r--r-- 2008-06-26 15:06 +0200 45850 Fsub.thy
-rw-r--r-- 2008-06-26 15:06 +0200 2406 Height.thy
-rw-r--r-- 2008-06-26 15:06 +0200 4719 Lam_Funs.thy
-rw-r--r-- 2008-06-26 15:06 +0200 469 Lambda_mu.thy
-rw-r--r-- 2008-06-26 15:06 +0200 6056 LocalWeakening.thy
-rw-r--r-- 2008-06-26 15:06 +0200 404 ROOT.ML
-rw-r--r-- 2008-06-26 15:06 +0200 20641 SN.thy
-rw-r--r-- 2008-06-26 15:06 +0200 26844 SOS.thy
-rw-r--r-- 2008-06-26 15:06 +0200 4983 Support.thy
-rw-r--r-- 2008-06-26 15:06 +0200 8914 Type_Preservation.thy
-rw-r--r-- 2008-06-26 15:06 +0200 6867 VC_Condition.thy
-rw-r--r-- 2008-06-26 15:06 +0200 113 W.thy
-rw-r--r-- 2008-06-26 15:06 +0200 8465 Weakening.thy