/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2004-08-18 11:09 +0200 7483 Commutation.thy
-rw-r--r-- 2004-08-18 11:09 +0200 6539 Eta.thy
-rw-r--r-- 2004-08-18 11:09 +0200 3437 InductTermi.thy
-rw-r--r-- 2004-08-18 11:09 +0200 7054 Lambda.thy
-rw-r--r-- 2004-08-18 11:09 +0200 4823 ListApplication.thy
-rw-r--r-- 2004-08-18 11:09 +0200 3411 ListBeta.thy
-rw-r--r-- 2004-08-18 11:09 +0200 3064 ListOrder.thy
-rw-r--r-- 2004-08-18 11:09 +0200 3397 ParRed.thy
-rw-r--r-- 2004-08-18 11:09 +0200 433 README.html
-rw-r--r-- 2004-08-18 11:09 +0200 437 ROOT.ML
-rw-r--r-- 2004-08-18 11:09 +0200 11521 StrongNorm.thy
-rw-r--r-- 2004-08-18 11:09 +0200 12651 Type.thy
-rw-r--r-- 2004-08-18 11:09 +0200 26617 WeakNorm.thy