helm/coq-contribs/LAMBDA-TYPES/Make

   1 # List of vernac files to compile
   2 base_tactics.v
   3 base_hints.v
   4 base_types.v
   5 base_blt.v
   6 base_rewrite.v
   7 Base.v
   8 terms_defs.v
   9 tlt_defs.v
  10 contexts_defs.v
  11 lift_defs.v
  12 lift_gen.v
  13 lift_props.v
  14 lift_tlt.v
  15 drop_defs.v
  16 drop_props.v
  17 subst0_defs.v
  18 subst0_gen.v
  19 subst0_lift.v
  20 subst0_subst0.v
  21 subst0_confluence.v
  22 subst0_tlt.v
  23 subst1_defs.v
  24 subst1_gen.v
  25 subst1_lift.v
  26 subst1_subst1.v
  27 subst1_confluence.v
  28 csubst0_defs.v
  29 csubst1_defs.v
  30 fsubst0_defs.v
  31 pr0_defs.v
  32 pr0_lift.v
  33 pr0_gen.v
  34 pr0_subst0.v
  35 pr0_confluence.v
  36 pr0_subst1.v
  37 pr1_defs.v
  38 pr1_confluence.v
  39 cpr0_defs.v
  40 pr2_defs.v
  41 pr2_lift.v
  42 pr2_gen.v
  43 pr2_confluence.v
  44 pr2_subst1.v
  45 pr2_gen_context.v
  46 pr3_defs.v
  47 pr3_props.v
  48 pr3_gen.v
  49 pr3_confluence.v
  50 pr3_subst1.v
  51 pr3_gen_context.v
  52 pc1_defs.v
  53 pc1_props.v
  54 pc3_defs.v
  55 pc3_props.v
  56 pc3_gen.v
  57 pc3_subst0.v
  58 pc3_gen_context.v
  59 ty0_defs.v
  60 ty0_gen.v
  61 ty0_lift.v
  62 ty0_props.v
  63 ty0_subst0.v
  64 ty0_gen_context.v
  65 csub0_defs.v
  66 csub0_props.v
  67 ty0_sred.v
  68 ty0_sred_props.v
  69 LambdaDelta.v