/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-03-07 19:30 +0100 7483 Commutation.thy
-rw-r--r-- 2005-03-07 19:30 +0100 16908 Eta.thy
-rw-r--r-- 2005-03-07 19:30 +0100 3437 InductTermi.thy
-rw-r--r-- 2005-03-07 19:30 +0100 7054 Lambda.thy
-rw-r--r-- 2005-03-07 19:30 +0100 4823 ListApplication.thy
-rw-r--r-- 2005-03-07 19:30 +0100 3411 ListBeta.thy
-rw-r--r-- 2005-03-07 19:30 +0100 3064 ListOrder.thy
-rw-r--r-- 2005-03-07 19:30 +0100 3397 ParRed.thy
-rw-r--r-- 2005-03-07 19:30 +0100 620 README.html
-rw-r--r-- 2005-03-07 19:30 +0100 437 ROOT.ML
-rw-r--r-- 2005-03-07 19:30 +0100 11521 StrongNorm.thy
-rw-r--r-- 2005-03-07 19:30 +0100 12648 Type.thy
-rw-r--r-- 2005-03-07 19:30 +0100 26621 WeakNorm.thy