/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2008-03-28 19:43 +0100 7553 Commutation.thy
-rw-r--r-- 2008-03-28 19:43 +0100 14852 Eta.thy
-rw-r--r-- 2008-03-28 19:43 +0100 3468 InductTermi.thy
-rw-r--r-- 2008-03-28 19:43 +0100 6653 Lambda.thy
-rw-r--r-- 2008-03-28 19:43 +0100 4535 ListApplication.thy
-rw-r--r-- 2008-03-28 19:43 +0100 3128 ListBeta.thy
-rw-r--r-- 2008-03-28 19:43 +0100 2978 ListOrder.thy
-rw-r--r-- 2008-03-28 19:43 +0100 7071 NormalForm.thy
-rw-r--r-- 2008-03-28 19:43 +0100 3220 ParRed.thy
-rw-r--r-- 2008-03-28 19:43 +0100 620 README.html
-rw-r--r-- 2008-03-28 19:43 +0100 392 ROOT.ML
-rw-r--r-- 2008-03-28 19:43 +0100 15161 Standardization.thy
-rw-r--r-- 2008-03-28 19:43 +0100 11295 StrongNorm.thy
-rw-r--r-- 2008-03-28 19:43 +0100 12022 Type.thy
-rw-r--r-- 2008-03-28 19:43 +0100 22563 WeakNorm.thy