/src/HOL/Lambda/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 18:02 +0200 2887 Commutation.ML
-rw-r--r-- 2000-05-30 18:02 +0200 738 Commutation.thy
-rw-r--r-- 2000-05-30 18:02 +0200 6292 Eta.ML
-rw-r--r-- 2000-05-30 18:02 +0200 783 Eta.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2992 InductTermi.ML
-rw-r--r-- 2000-05-30 18:02 +0200 539 InductTermi.thy
-rw-r--r-- 2000-05-30 18:02 +0200 4142 Lambda.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1539 Lambda.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3615 ListApplication.ML
-rw-r--r-- 2000-05-30 18:02 +0200 308 ListApplication.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3167 ListBeta.ML
-rw-r--r-- 2000-05-30 18:02 +0200 341 ListBeta.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2794 ListOrder.ML
-rw-r--r-- 2000-05-30 18:02 +0200 373 ListOrder.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2635 ParRed.ML
-rw-r--r-- 2000-05-30 18:02 +0200 785 ParRed.thy
-rw-r--r-- 2000-05-30 18:02 +0200 433 README.html
-rw-r--r-- 2000-05-30 18:02 +0200 205 ROOT.ML