/src/HOL/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2007-04-20 11:21 +0200 7479 Commutation.thy
-rw-r--r-- 2007-04-20 11:21 +0200 14645 Eta.thy
-rw-r--r-- 2007-04-20 11:21 +0200 3423 InductTermi.thy
-rw-r--r-- 2007-04-20 11:21 +0200 6606 Lambda.thy
-rw-r--r-- 2007-04-20 11:21 +0200 4540 ListApplication.thy
-rw-r--r-- 2007-04-20 11:21 +0200 3126 ListBeta.thy
-rw-r--r-- 2007-04-20 11:21 +0200 2947 ListOrder.thy
-rw-r--r-- 2007-04-20 11:21 +0200 3210 ParRed.thy
-rw-r--r-- 2007-04-20 11:21 +0200 620 README.html
-rw-r--r-- 2007-04-20 11:21 +0200 349 ROOT.ML
-rw-r--r-- 2007-04-20 11:21 +0200 11146 StrongNorm.thy
-rw-r--r-- 2007-04-20 11:21 +0200 12112 Type.thy
-rw-r--r-- 2007-04-20 11:21 +0200 27010 WeakNorm.thy