/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 2000-06-23 12:28 +0200 2887 Commutation.ML
-rw-r--r-- 2000-06-23 12:28 +0200 738 Commutation.thy
-rw-r--r-- 2000-06-23 12:28 +0200 6292 Eta.ML
-rw-r--r-- 2000-06-23 12:28 +0200 769 Eta.thy
-rw-r--r-- 2000-06-23 12:28 +0200 2992 InductTermi.ML
-rw-r--r-- 2000-06-23 12:28 +0200 533 InductTermi.thy
-rw-r--r-- 2000-06-23 12:28 +0200 4142 Lambda.ML
-rw-r--r-- 2000-06-23 12:28 +0200 1539 Lambda.thy
-rw-r--r-- 2000-06-23 12:28 +0200 3615 ListApplication.ML
-rw-r--r-- 2000-06-23 12:28 +0200 301 ListApplication.thy
-rw-r--r-- 2000-06-23 12:28 +0200 3167 ListBeta.ML
-rw-r--r-- 2000-06-23 12:28 +0200 341 ListBeta.thy
-rw-r--r-- 2000-06-23 12:28 +0200 2794 ListOrder.ML
-rw-r--r-- 2000-06-23 12:28 +0200 366 ListOrder.thy
-rw-r--r-- 2000-06-23 12:28 +0200 2635 ParRed.ML
-rw-r--r-- 2000-06-23 12:28 +0200 785 ParRed.thy
-rw-r--r-- 2000-06-23 12:28 +0200 433 README.html
-rw-r--r-- 2000-06-23 12:28 +0200 198 ROOT.ML
-rw-r--r-- 2000-06-23 12:28 +0200 11475 Type.ML
-rw-r--r-- 2000-06-23 12:28 +0200 927 Type.thy