/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 13:20 +0100 2876 Commutation.ML
-rw-r--r-- 1999-03-11 13:20 +0100 740 Commutation.thy
-rw-r--r-- 1999-03-11 13:20 +0100 6301 Eta.ML
-rw-r--r-- 1999-03-11 13:20 +0100 783 Eta.thy
-rw-r--r-- 1999-03-11 13:20 +0100 2995 InductTermi.ML
-rw-r--r-- 1999-03-11 13:20 +0100 539 InductTermi.thy
-rw-r--r-- 1999-03-11 13:20 +0100 4142 Lambda.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1543 Lambda.thy
-rw-r--r-- 1999-03-11 13:20 +0100 3606 ListApplication.ML
-rw-r--r-- 1999-03-11 13:20 +0100 308 ListApplication.thy
-rw-r--r-- 1999-03-11 13:20 +0100 3170 ListBeta.ML
-rw-r--r-- 1999-03-11 13:20 +0100 341 ListBeta.thy
-rw-r--r-- 1999-03-11 13:20 +0100 2800 ListOrder.ML
-rw-r--r-- 1999-03-11 13:20 +0100 373 ListOrder.thy
-rw-r--r-- 1999-03-11 13:20 +0100 2655 ParRed.ML
-rw-r--r-- 1999-03-11 13:20 +0100 794 ParRed.thy
-rw-r--r-- 1999-03-11 13:20 +0100 443 README.html
-rw-r--r-- 1999-03-11 13:20 +0100 221 ROOT.ML