/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2013-04-24 11:36 +0200 23563 CK_Machine.thy
-rw-r--r-- 2013-04-24 11:36 +0200 30591 CR.thy
-rw-r--r-- 2013-04-24 11:36 +0200 14818 CR_Takahashi.thy
-rw-r--r-- 2013-04-24 11:36 +0200 338983 Class1.thy
-rw-r--r-- 2013-04-24 11:36 +0200 242753 Class2.thy
-rw-r--r-- 2013-04-24 11:36 +0200 216538 Class3.thy
-rw-r--r-- 2013-04-24 11:36 +0200 11943 Compile.thy
-rw-r--r-- 2013-04-24 11:36 +0200 4892 Contexts.thy
-rw-r--r-- 2013-04-24 11:36 +0200 51020 Crary.thy
-rw-r--r-- 2013-04-24 11:36 +0200 90596 Fsub.thy
-rw-r--r-- 2013-04-24 11:36 +0200 2390 Height.thy
-rw-r--r-- 2013-04-24 11:36 +0200 4693 Lam_Funs.thy
-rw-r--r-- 2013-04-24 11:36 +0200 457 Lambda_mu.thy
-rw-r--r-- 2013-04-24 11:36 +0200 6036 LocalWeakening.thy
-rw-r--r-- 2013-04-24 11:36 +0200 349 Nominal_Examples.thy
-rw-r--r-- 2013-04-24 11:36 +0200 43529 Pattern.thy
-rw-r--r-- 2013-04-24 11:36 +0200 21132 SN.thy
-rw-r--r-- 2013-04-24 11:36 +0200 23725 SOS.thy
-rw-r--r-- 2013-04-24 11:36 +0200 35032 Standardization.thy
-rw-r--r-- 2013-04-24 11:36 +0200 4951 Support.thy
-rw-r--r-- 2013-04-24 11:36 +0200 8869 Type_Preservation.thy
-rw-r--r-- 2013-04-24 11:36 +0200 6855 VC_Condition.thy
-rw-r--r-- 2013-04-24 11:36 +0200 20601 W.thy
-rw-r--r-- 2013-04-24 11:36 +0200 8467 Weakening.thy