]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/LAMBDA-TYPES/Makefile
pr3_subst1.v\
pr3_gen_context.v\
pc1_defs.v\
+ pc1_props.v\
pc3_defs.v\
pc3_props.v\
pc3_gen.v\
pc3_subst0.v\
pc3_gen_context.v\
ty0_defs.v\
+ ty0_gen.v\
ty0_lift.v\
ty0_props.v\
ty0_subst0.v\
ty0_gen_context.v\
csub0_defs.v\
+ csub0_props.v\
ty0_sred.v\
ty0_sred_props.v\
LambdaDelta.v
pr3_subst1.vo\
pr3_gen_context.vo\
pc1_defs.vo\
+ pc1_props.vo\
pc3_defs.vo\
pc3_props.vo\
pc3_gen.vo\
pc3_subst0.vo\
pc3_gen_context.vo\
ty0_defs.vo\
+ ty0_gen.vo\
ty0_lift.vo\
ty0_props.vo\
ty0_subst0.vo\
ty0_gen_context.vo\
csub0_defs.vo\
+ csub0_props.vo\
ty0_sred.vo\
ty0_sred_props.vo\
LambdaDelta.vo
pr3_subst1.vo\
pr3_gen_context.vo\
pc1_defs.vo\
+ pc1_props.vo\
pc3_defs.vo\
pc3_props.vo\
pc3_gen.vo\
pc3_subst0.vo\
pc3_gen_context.vo\
ty0_defs.vo\
+ ty0_gen.vo\
ty0_lift.vo\
ty0_props.vo\
ty0_subst0.vo\
ty0_gen_context.vo\
csub0_defs.vo\
+ csub0_props.vo\
ty0_sred.vo\
ty0_sred_props.vo\
LambdaDelta.vo