/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 3184 Commutation.ML
-rw-r--r-- 1997-04-08 10:48 +0200 747 Commutation.thy
-rw-r--r-- 1997-04-08 10:48 +0200 7132 Eta.ML
-rw-r--r-- 1997-04-08 10:48 +0200 800 Eta.thy
-rw-r--r-- 1997-04-08 10:48 +0200 4289 Lambda.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1592 Lambda.thy
-rw-r--r-- 1997-04-08 10:48 +0200 2809 ParRed.ML
-rw-r--r-- 1997-04-08 10:48 +0200 908 ParRed.thy
-rw-r--r-- 1997-04-08 10:48 +0200 443 README.html
-rw-r--r-- 1997-04-08 10:48 +0200 230 ROOT.ML