/theories/lambda/

• ../
• interp.v
• interp_proofs.v
• operational.v
• operational_props.v