/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 3192 Commutation.ML
-rw-r--r-- 1997-01-23 14:19 +0100 747 Commutation.thy
-rw-r--r-- 1997-01-23 14:19 +0100 7154 Eta.ML
-rw-r--r-- 1997-01-23 14:19 +0100 800 Eta.thy
-rw-r--r-- 1997-01-23 14:19 +0100 4265 Lambda.ML
-rw-r--r-- 1997-01-23 14:19 +0100 1592 Lambda.thy
-rw-r--r-- 1997-01-23 14:19 +0100 2771 ParRed.ML
-rw-r--r-- 1997-01-23 14:19 +0100 908 ParRed.thy
-rw-r--r-- 1997-01-23 14:19 +0100 443 README.html
-rw-r--r-- 1997-01-23 14:19 +0100 230 ROOT.ML