/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-01-12 12:09 -0800 8615 Commutation.thy
-rw-r--r-- 2009-01-12 12:09 -0800 14852 Eta.thy
-rw-r--r-- 2009-01-12 12:09 -0800 3468 InductTermi.thy
-rw-r--r-- 2009-01-12 12:09 -0800 6653 Lambda.thy
-rw-r--r-- 2009-01-12 12:09 -0800 4535 ListApplication.thy
-rw-r--r-- 2009-01-12 12:09 -0800 3128 ListBeta.thy
-rw-r--r-- 2009-01-12 12:09 -0800 2978 ListOrder.thy
-rw-r--r-- 2009-01-12 12:09 -0800 7071 NormalForm.thy
-rw-r--r-- 2009-01-12 12:09 -0800 3220 ParRed.thy
-rw-r--r-- 2009-01-12 12:09 -0800 620 README.html
-rw-r--r-- 2009-01-12 12:09 -0800 373 ROOT.ML
-rw-r--r-- 2009-01-12 12:09 -0800 15161 Standardization.thy
-rw-r--r-- 2009-01-12 12:09 -0800 11295 StrongNorm.thy
-rw-r--r-- 2009-01-12 12:09 -0800 12022 Type.thy
-rw-r--r-- 2009-01-12 12:09 -0800 22934 WeakNorm.thy