/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1995-10-24 14:50 +0100 3725 Commutation.ML
-rw-r--r-- 1995-10-24 14:50 +0100 837 Commutation.thy
-rw-r--r-- 1995-10-24 14:50 +0100 8282 Eta.ML
-rw-r--r-- 1995-10-24 14:50 +0100 880 Eta.thy
-rw-r--r-- 1995-10-24 14:50 +0100 6568 Lambda.ML
-rw-r--r-- 1995-10-24 14:50 +0100 1705 Lambda.thy
-rw-r--r-- 1995-10-24 14:50 +0100 2950 ParRed.ML
-rw-r--r-- 1995-10-24 14:50 +0100 967 ParRed.thy
-rw-r--r-- 1995-10-24 14:50 +0100 643 ROOT.ML