/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2006-08-14 13:46 +0200 7506 Commutation.thy
-rw-r--r-- 2006-08-14 13:46 +0200 16515 Eta.thy
-rw-r--r-- 2006-08-14 13:46 +0200 3424 InductTermi.thy
-rw-r--r-- 2006-08-14 13:46 +0200 6624 Lambda.thy
-rw-r--r-- 2006-08-14 13:46 +0200 4512 ListApplication.thy
-rw-r--r-- 2006-08-14 13:46 +0200 2934 ListBeta.thy
-rw-r--r-- 2006-08-14 13:46 +0200 3097 ListOrder.thy
-rw-r--r-- 2006-08-14 13:46 +0200 3317 ParRed.thy
-rw-r--r-- 2006-08-14 13:46 +0200 620 README.html
-rw-r--r-- 2006-08-14 13:46 +0200 437 ROOT.ML
-rw-r--r-- 2006-08-14 13:46 +0200 11437 StrongNorm.thy
-rw-r--r-- 2006-08-14 13:46 +0200 12084 Type.thy
-rw-r--r-- 2006-08-14 13:46 +0200 25278 WeakNorm.thy