/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-11-27 08:41 +0100 8615 Commutation.thy
-rw-r--r-- 2009-11-27 08:41 +0100 14818 Eta.thy
-rw-r--r-- 2009-11-27 08:41 +0100 3468 InductTermi.thy
-rw-r--r-- 2009-11-27 08:41 +0100 6653 Lambda.thy
-rw-r--r-- 2009-11-27 08:41 +0100 4535 ListApplication.thy
-rw-r--r-- 2009-11-27 08:41 +0100 3128 ListBeta.thy
-rw-r--r-- 2009-11-27 08:41 +0100 2978 ListOrder.thy
-rw-r--r-- 2009-11-27 08:41 +0100 7089 NormalForm.thy
-rw-r--r-- 2009-11-27 08:41 +0100 3220 ParRed.thy
-rw-r--r-- 2009-11-27 08:41 +0100 620 README.html
-rw-r--r-- 2009-11-27 08:41 +0100 376 ROOT.ML
-rw-r--r-- 2009-11-27 08:41 +0100 15161 Standardization.thy
-rw-r--r-- 2009-11-27 08:41 +0100 11257 StrongNorm.thy
-rw-r--r-- 2009-11-27 08:41 +0100 12022 Type.thy
-rw-r--r-- 2009-11-27 08:41 +0100 23561 WeakNorm.thy