/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2012-03-15 20:07 +0100 23563 CK_Machine.thy
-rw-r--r-- 2012-03-15 20:07 +0100 30591 CR.thy
-rw-r--r-- 2012-03-15 20:07 +0100 14818 CR_Takahashi.thy
-rw-r--r-- 2012-03-15 20:07 +0100 338986 Class1.thy
-rw-r--r-- 2012-03-15 20:07 +0100 242753 Class2.thy
-rw-r--r-- 2012-03-15 20:07 +0100 215851 Class3.thy
-rw-r--r-- 2012-03-15 20:07 +0100 11943 Compile.thy
-rw-r--r-- 2012-03-15 20:07 +0100 4892 Contexts.thy
-rw-r--r-- 2012-03-15 20:07 +0100 51020 Crary.thy
-rw-r--r-- 2012-03-15 20:07 +0100 90587 Fsub.thy
-rw-r--r-- 2012-03-15 20:07 +0100 2390 Height.thy
-rw-r--r-- 2012-03-15 20:07 +0100 4693 Lam_Funs.thy
-rw-r--r-- 2012-03-15 20:07 +0100 457 Lambda_mu.thy
-rw-r--r-- 2012-03-15 20:07 +0100 6036 LocalWeakening.thy
-rw-r--r-- 2012-03-15 20:07 +0100 349 Nominal_Examples.thy
-rw-r--r-- 2012-03-15 20:07 +0100 43529 Pattern.thy
-rw-r--r-- 2012-03-15 20:07 +0100 101 ROOT.ML
-rw-r--r-- 2012-03-15 20:07 +0100 21132 SN.thy
-rw-r--r-- 2012-03-15 20:07 +0100 23726 SOS.thy
-rw-r--r-- 2012-03-15 20:07 +0100 34966 Standardization.thy
-rw-r--r-- 2012-03-15 20:07 +0100 4951 Support.thy
-rw-r--r-- 2012-03-15 20:07 +0100 8869 Type_Preservation.thy
-rw-r--r-- 2012-03-15 20:07 +0100 6855 VC_Condition.thy
-rw-r--r-- 2012-03-15 20:07 +0100 20601 W.thy
-rw-r--r-- 2012-03-15 20:07 +0100 8467 Weakening.thy