Pruning candidates in the applicative case for equalities.

[helm.git] / helm / coq-contribs / SUBSETS / Make

# List of vernac files to compile
st_base.v
st_logic.v
st_nat.v
st_arith.v
Standard.v
xt_fin.v
tbs_base.v
tbs_rel.v
tbs_op.v
tbs_rop.v
tbs_fun.v
tbs_fin.v
Toolbox.v