/src/HOL/Proofs/Lambda/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2014-07-05 11:01 +0200 8704 Commutation.thy
-rw-r--r-- 2014-07-05 11:01 +0200 14676 Eta.thy
-rw-r--r-- 2014-07-05 11:01 +0200 3454 InductTermi.thy
-rw-r--r-- 2014-07-05 11:01 +0200 6685 Lambda.thy
-rw-r--r-- 2014-07-05 11:01 +0200 11994 LambdaType.thy
-rw-r--r-- 2014-07-05 11:01 +0200 4637 ListApplication.thy
-rw-r--r-- 2014-07-05 11:01 +0200 3114 ListBeta.thy
-rw-r--r-- 2014-07-05 11:01 +0200 3120 ListOrder.thy
-rw-r--r-- 2014-07-05 11:01 +0200 7072 NormalForm.thy
-rw-r--r-- 2014-07-05 11:01 +0200 3183 ParRed.thy
-rw-r--r-- 2014-07-05 11:01 +0200 15147 Standardization.thy
-rw-r--r-- 2014-07-05 11:01 +0200 11226 StrongNorm.thy
-rw-r--r-- 2014-07-05 11:01 +0200 20887 WeakNorm.thy