NameDateSize

..25-Jul-20195

Commutation.thyH A D25-Jul-20199 KiB

document/H25-Jul-20194

Eta.thyH A D25-Jul-201914.7 KiB

InductTermi.thyH A D25-Jul-20193.4 KiB

Lambda.thyH A D25-Jul-20196.7 KiB

LambdaType.thyH A D25-Jul-201911.7 KiB

ListApplication.thyH A D25-Jul-20194.5 KiB

ListBeta.thyH A D25-Jul-20193.1 KiB

ListOrder.thyH A D25-Jul-20193.1 KiB

NormalForm.thyH A D25-Jul-20197 KiB

ParRed.thyH A D25-Jul-20193.2 KiB

Standardization.thyH A D25-Jul-201914.9 KiB

StrongNorm.thyH A D25-Jul-201911.1 KiB

WeakNorm.thyH A D25-Jul-201920.6 KiB