_CoqProject

-R . FV

utils.v
ExplicitName.v
lambda_binding.v
Demo/Naming.v
Demo/Basic/Basic.v
Demo/Sugar/Sugar.v
Demo/Lambda.v
Demo/Basic/BasicLambda.v
Demo/Sugar/SugarLambda.v
Demo/Sugar/SugarProp.v
Demo/Soundness/Basic2Sugar.v
Demo/Soundness/Sugar2Basic.v