/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1998-12-07 18:26 +0100 2876 Commutation.ML
-rw-r--r-- 1998-12-07 18:26 +0100 740 Commutation.thy
-rw-r--r-- 1998-12-07 18:26 +0100 6434 Eta.ML
-rw-r--r-- 1998-12-07 18:26 +0100 785 Eta.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3666 InductTermi.ML
-rw-r--r-- 1998-12-07 18:26 +0100 539 InductTermi.thy
-rw-r--r-- 1998-12-07 18:26 +0100 4217 Lambda.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1553 Lambda.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3789 ListApplication.ML
-rw-r--r-- 1998-12-07 18:26 +0100 308 ListApplication.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3170 ListBeta.ML
-rw-r--r-- 1998-12-07 18:26 +0100 341 ListBeta.thy
-rw-r--r-- 1998-12-07 18:26 +0100 2800 ListOrder.ML
-rw-r--r-- 1998-12-07 18:26 +0100 373 ListOrder.thy
-rw-r--r-- 1998-12-07 18:26 +0100 2670 ParRed.ML
-rw-r--r-- 1998-12-07 18:26 +0100 794 ParRed.thy
-rw-r--r-- 1998-12-07 18:26 +0100 443 README.html
-rw-r--r-- 1998-12-07 18:26 +0100 289 ROOT.ML