/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1999-09-23 13:06 +0200 2876 Commutation.ML
-rw-r--r-- 1999-09-23 13:06 +0200 740 Commutation.thy
-rw-r--r-- 1999-09-23 13:06 +0200 6301 Eta.ML
-rw-r--r-- 1999-09-23 13:06 +0200 783 Eta.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2995 InductTermi.ML
-rw-r--r-- 1999-09-23 13:06 +0200 539 InductTermi.thy
-rw-r--r-- 1999-09-23 13:06 +0200 4142 Lambda.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1539 Lambda.thy
-rw-r--r-- 1999-09-23 13:06 +0200 3606 ListApplication.ML
-rw-r--r-- 1999-09-23 13:06 +0200 308 ListApplication.thy
-rw-r--r-- 1999-09-23 13:06 +0200 3170 ListBeta.ML
-rw-r--r-- 1999-09-23 13:06 +0200 341 ListBeta.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2800 ListOrder.ML
-rw-r--r-- 1999-09-23 13:06 +0200 373 ListOrder.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2655 ParRed.ML
-rw-r--r-- 1999-09-23 13:06 +0200 794 ParRed.thy
-rw-r--r-- 1999-09-23 13:06 +0200 443 README.html
-rw-r--r-- 1999-09-23 13:06 +0200 229 ROOT.ML