Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 5 | ||
Commutation.thy | H A D | 25-Jul-2019 | 9 KiB | |
document/ | H | 25-Jul-2019 | 4 | |
Eta.thy | H A D | 25-Jul-2019 | 14.7 KiB | |
InductTermi.thy | H A D | 25-Jul-2019 | 3.4 KiB | |
Lambda.thy | H A D | 25-Jul-2019 | 6.6 KiB | |
LambdaType.thy | H A D | 25-Jul-2019 | 11.7 KiB | |
ListApplication.thy | H A D | 25-Jul-2019 | 4.5 KiB | |
ListBeta.thy | H A D | 25-Jul-2019 | 3.1 KiB | |
ListOrder.thy | H A D | 25-Jul-2019 | 3.1 KiB | |
NormalForm.thy | H A D | 25-Jul-2019 | 7 KiB | |
ParRed.thy | H A D | 25-Jul-2019 | 3.2 KiB | |
Standardization.thy | H A D | 25-Jul-2019 | 14.9 KiB | |
StrongNorm.thy | H A D | 25-Jul-2019 | 11.1 KiB | |
WeakNorm.thy | H A D | 25-Jul-2019 | 20.6 KiB |