/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1996-03-13 11:55 +0100 3274 Commutation.ML
-rw-r--r-- 1996-03-13 11:55 +0100 747 Commutation.thy
-rw-r--r-- 1996-03-13 11:55 +0100 7221 Eta.ML
-rw-r--r-- 1996-03-13 11:55 +0100 874 Eta.thy
-rw-r--r-- 1996-03-13 11:55 +0100 6345 Lambda.ML
-rw-r--r-- 1996-03-13 11:55 +0100 1695 Lambda.thy
-rw-r--r-- 1996-03-13 11:55 +0100 2797 ParRed.ML
-rw-r--r-- 1996-03-13 11:55 +0100 961 ParRed.thy
-rw-r--r-- 1996-03-13 11:55 +0100 461 README.html
-rw-r--r-- 1996-03-13 11:55 +0100 230 ROOT.ML