/src/HOL/Nominal/Examples/
drwxr-xr-x [up]
-rw-r--r-- 2008-03-28 19:43 +0100 30533 CR.thy
-rw-r--r-- 2008-03-28 19:43 +0100 15241 CR_Takahashi.thy
-rw-r--r-- 2008-03-28 19:43 +0100 791735 Class.thy
-rw-r--r-- 2008-03-28 19:43 +0100 11792 Compile.thy
-rw-r--r-- 2008-03-28 19:43 +0100 6553 Contexts.thy
-rw-r--r-- 2008-03-28 19:43 +0100 55306 Crary.thy
-rw-r--r-- 2008-03-28 19:43 +0100 45841 Fsub.thy
-rw-r--r-- 2008-03-28 19:43 +0100 3265 Height.thy
-rw-r--r-- 2008-03-28 19:43 +0100 3610 Lam_Funs.thy
-rw-r--r-- 2008-03-28 19:43 +0100 469 Lambda_mu.thy
-rw-r--r-- 2008-03-28 19:43 +0100 6071 LocalWeakening.thy
-rw-r--r-- 2008-03-28 19:43 +0100 404 ROOT.ML
-rw-r--r-- 2008-03-28 19:43 +0100 20400 SN.thy
-rw-r--r-- 2008-03-28 19:43 +0100 26785 SOS.thy
-rw-r--r-- 2008-03-28 19:43 +0100 4987 Support.thy
-rw-r--r-- 2008-03-28 19:43 +0100 6843 VC_Condition.thy
-rw-r--r-- 2008-03-28 19:43 +0100 113 W.thy
-rw-r--r-- 2008-03-28 19:43 +0100 8458 Weakening.thy