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