]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/LAMBDA-TYPES/Make
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