]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/LAMBDA-TYPES/Makefile
lift_gen.v\
lift_props.v\
lift_tlt.v\
+ drop_defs.v\
+ drop_props.v\
subst0_defs.v\
subst0_gen.v\
subst0_lift.v\
subst1_lift.v\
subst1_subst1.v\
subst1_confluence.v\
- drop_defs.v\
- drop_props.v\
csubst0_defs.v\
csubst1_defs.v\
+ fsubst0_defs.v\
pr0_defs.v\
pr0_lift.v\
pr0_gen.v\
pr0_subst1.v\
pr1_defs.v\
pr1_confluence.v\
+ cpr0_defs.v\
pr2_defs.v\
pr2_lift.v\
pr2_gen.v\
pr3_confluence.v\
pr3_subst1.v\
pr3_gen_context.v\
- cpr0_defs.v\
- cpr0_props.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
lift_gen.vo\
lift_props.vo\
lift_tlt.vo\
+ drop_defs.vo\
+ drop_props.vo\
subst0_defs.vo\
subst0_gen.vo\
subst0_lift.vo\
subst1_lift.vo\
subst1_subst1.vo\
subst1_confluence.vo\
- drop_defs.vo\
- drop_props.vo\
csubst0_defs.vo\
csubst1_defs.vo\
+ fsubst0_defs.vo\
pr0_defs.vo\
pr0_lift.vo\
pr0_gen.vo\
pr0_subst1.vo\
pr1_defs.vo\
pr1_confluence.vo\
+ cpr0_defs.vo\
pr2_defs.vo\
pr2_lift.vo\
pr2_gen.vo\
pr3_confluence.vo\
pr3_subst1.vo\
pr3_gen_context.vo\
- cpr0_defs.vo\
- cpr0_props.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
lift_gen.vo\
lift_props.vo\
lift_tlt.vo\
+ drop_defs.vo\
+ drop_props.vo\
subst0_defs.vo\
subst0_gen.vo\
subst0_lift.vo\
subst1_lift.vo\
subst1_subst1.vo\
subst1_confluence.vo\
- drop_defs.vo\
- drop_props.vo\
csubst0_defs.vo\
csubst1_defs.vo\
+ fsubst0_defs.vo\
pr0_defs.vo\
pr0_lift.vo\
pr0_gen.vo\
pr0_subst1.vo\
pr1_defs.vo\
pr1_confluence.vo\
+ cpr0_defs.vo\
pr2_defs.vo\
pr2_lift.vo\
pr2_gen.vo\
pr3_confluence.vo\
pr3_subst1.vo\
pr3_gen_context.vo\
- cpr0_defs.vo\
- cpr0_props.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