menu

Lambda
Commutation
ParRed
Eta
ListApplication
LambdaType
ListOrder
ListBeta
InductTermi
StrongNorm
NormalForm
Standardization
WeakNorm

HOL-Proofs-Lambda.InductTermi

HTML Presentation