/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2010-03-22 20:58 +0100 8615 Commutation.thy
-rw-r--r-- 2010-03-22 20:58 +0100 14670 Eta.thy
-rw-r--r-- 2010-03-22 20:58 +0100 3468 InductTermi.thy
-rw-r--r-- 2010-03-22 20:58 +0100 6653 Lambda.thy
-rw-r--r-- 2010-03-22 20:58 +0100 4535 ListApplication.thy
-rw-r--r-- 2010-03-22 20:58 +0100 3128 ListBeta.thy
-rw-r--r-- 2010-03-22 20:58 +0100 2978 ListOrder.thy
-rw-r--r-- 2010-03-22 20:58 +0100 7089 NormalForm.thy
-rw-r--r-- 2010-03-22 20:58 +0100 3196 ParRed.thy
-rw-r--r-- 2010-03-22 20:58 +0100 620 README.html
-rw-r--r-- 2010-03-22 20:58 +0100 157 ROOT.ML
-rw-r--r-- 2010-03-22 20:58 +0100 15161 Standardization.thy
-rw-r--r-- 2010-03-22 20:58 +0100 11257 StrongNorm.thy
-rw-r--r-- 2010-03-22 20:58 +0100 12022 Type.thy
-rw-r--r-- 2010-03-22 20:58 +0100 23561 WeakNorm.thy