/src/HOL/Proofs/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2011-10-21 11:17 +0200 8700 Commutation.thy
-rw-r--r-- 2011-10-21 11:17 +0200 14677 Eta.thy
-rw-r--r-- 2011-10-21 11:17 +0200 3454 InductTermi.thy
-rw-r--r-- 2011-10-21 11:17 +0200 6681 Lambda.thy
-rw-r--r-- 2011-10-21 11:17 +0200 4521 ListApplication.thy
-rw-r--r-- 2011-10-21 11:17 +0200 3114 ListBeta.thy
-rw-r--r-- 2011-10-21 11:17 +0200 3008 ListOrder.thy
-rw-r--r-- 2011-10-21 11:17 +0200 7096 NormalForm.thy
-rw-r--r-- 2011-10-21 11:17 +0200 3185 ParRed.thy
-rw-r--r-- 2011-10-21 11:17 +0200 605 README.html
-rw-r--r-- 2011-10-21 11:17 +0200 121 ROOT.ML
-rw-r--r-- 2011-10-21 11:17 +0200 15147 Standardization.thy
-rw-r--r-- 2011-10-21 11:17 +0200 11220 StrongNorm.thy
-rw-r--r-- 2011-10-21 11:17 +0200 12028 Type.thy
-rw-r--r-- 2011-10-21 11:17 +0200 20818 WeakNorm.thy