/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2008-12-13 13:24 +0100 23593 CK_Machine.thy
-rw-r--r-- 2008-12-13 13:24 +0100 30603 CR.thy
-rw-r--r-- 2008-12-13 13:24 +0100 14709 CR_Takahashi.thy
-rw-r--r-- 2008-12-13 13:24 +0100 792882 Class.thy
-rw-r--r-- 2008-12-13 13:24 +0100 11943 Compile.thy
-rw-r--r-- 2008-12-13 13:24 +0100 4892 Contexts.thy
-rw-r--r-- 2008-12-13 13:24 +0100 51275 Crary.thy
-rw-r--r-- 2008-12-13 13:24 +0100 45666 Fsub.thy
-rw-r--r-- 2008-12-13 13:24 +0100 2390 Height.thy
-rw-r--r-- 2008-12-13 13:24 +0100 4693 Lam_Funs.thy
-rw-r--r-- 2008-12-13 13:24 +0100 469 Lambda_mu.thy
-rw-r--r-- 2008-12-13 13:24 +0100 6024 LocalWeakening.thy
-rw-r--r-- 2008-12-13 13:24 +0100 444 ROOT.ML
-rw-r--r-- 2008-12-13 13:24 +0100 20625 SN.thy
-rw-r--r-- 2008-12-13 13:24 +0100 23746 SOS.thy
-rw-r--r-- 2008-12-13 13:24 +0100 35371 Standardization.thy
-rw-r--r-- 2008-12-13 13:24 +0100 4983 Support.thy
-rw-r--r-- 2008-12-13 13:24 +0100 8899 Type_Preservation.thy
-rw-r--r-- 2008-12-13 13:24 +0100 6867 VC_Condition.thy
-rw-r--r-- 2008-12-13 13:24 +0100 11198 W.thy
-rw-r--r-- 2008-12-13 13:24 +0100 8465 Weakening.thy