/src/HOL/Proofs/Lambda/ Isabelle2016
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2016-02-15 14:55 +0100 8911 Commutation.thy
-rw-r--r-- 2016-02-15 14:55 +0100 14990 Eta.thy
-rw-r--r-- 2016-02-15 14:55 +0100 3501 InductTermi.thy
-rw-r--r-- 2016-02-15 14:55 +0100 6772 Lambda.thy
-rw-r--r-- 2016-02-15 14:55 +0100 12025 LambdaType.thy
-rw-r--r-- 2016-02-15 14:55 +0100 4661 ListApplication.thy
-rw-r--r-- 2016-02-15 14:55 +0100 3199 ListBeta.thy
-rw-r--r-- 2016-02-15 14:55 +0100 3141 ListOrder.thy
-rw-r--r-- 2016-02-15 14:55 +0100 7172 NormalForm.thy
-rw-r--r-- 2016-02-15 14:55 +0100 3283 ParRed.thy
-rw-r--r-- 2016-02-15 14:55 +0100 15281 Standardization.thy
-rw-r--r-- 2016-02-15 14:55 +0100 11324 StrongNorm.thy
-rw-r--r-- 2016-02-15 14:55 +0100 21099 WeakNorm.thy