/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2009-10-05 16:41 +0100 23593 CK_Machine.thy
-rw-r--r-- 2009-10-05 16:41 +0100 30603 CR.thy
-rw-r--r-- 2009-10-05 16:41 +0100 14817 CR_Takahashi.thy
-rw-r--r-- 2009-10-05 16:41 +0100 792862 Class.thy
-rw-r--r-- 2009-10-05 16:41 +0100 11943 Compile.thy
-rw-r--r-- 2009-10-05 16:41 +0100 4892 Contexts.thy
-rw-r--r-- 2009-10-05 16:41 +0100 50999 Crary.thy
-rw-r--r-- 2009-10-05 16:41 +0100 91870 Fsub.thy
-rw-r--r-- 2009-10-05 16:41 +0100 2390 Height.thy
-rw-r--r-- 2009-10-05 16:41 +0100 4693 Lam_Funs.thy
-rw-r--r-- 2009-10-05 16:41 +0100 469 Lambda_mu.thy
-rw-r--r-- 2009-10-05 16:41 +0100 6024 LocalWeakening.thy
-rw-r--r-- 2009-10-05 16:41 +0100 305 Nominal_Examples.thy
-rw-r--r-- 2009-10-05 16:41 +0100 103 ROOT.ML
-rw-r--r-- 2009-10-05 16:41 +0100 20625 SN.thy
-rw-r--r-- 2009-10-05 16:41 +0100 23748 SOS.thy
-rw-r--r-- 2009-10-05 16:41 +0100 35371 Standardization.thy
-rw-r--r-- 2009-10-05 16:41 +0100 4983 Support.thy
-rw-r--r-- 2009-10-05 16:41 +0100 8899 Type_Preservation.thy
-rw-r--r-- 2009-10-05 16:41 +0100 6867 VC_Condition.thy
-rw-r--r-- 2009-10-05 16:41 +0100 20593 W.thy
-rw-r--r-- 2009-10-05 16:41 +0100 8465 Weakening.thy