/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1996-10-21 09:50 +0200 3192 Commutation.ML
-rw-r--r-- 1996-10-21 09:50 +0200 747 Commutation.thy
-rw-r--r-- 1996-10-21 09:50 +0200 9250 Eta.ML
-rw-r--r-- 1996-10-21 09:50 +0200 846 Eta.thy
-rw-r--r-- 1996-10-21 09:50 +0200 6483 Lambda.ML
-rw-r--r-- 1996-10-21 09:50 +0200 1592 Lambda.thy
-rw-r--r-- 1996-10-21 09:50 +0200 2771 ParRed.ML
-rw-r--r-- 1996-10-21 09:50 +0200 908 ParRed.thy
-rw-r--r-- 1996-10-21 09:50 +0200 452 README.html
-rw-r--r-- 1996-10-21 09:50 +0200 230 ROOT.ML