ssreflect.v
ssrfun.v
ssrbool.v
eqtype.v
ssrnat.v
seq.v
paths.v
fintype.v
tuple.v
div.v
finfun.v
ssralg.v
bigops.v
finset.v
ordtype.v
fmap.v
rels.v
heaps.v
hprop.v
stmodel.v
stsep.v
vcgen.v
stlc.v
llist.v
stack.v
queue.v
array.v
kvmaps.v
hashtab.v
congmath.v 
congprog.v

COQC = $(COQBIN)ssrcoq
COQFLAGS = "-q $(OPT) -dont-load-proofs $(COQLIBS) $(OTHERFLAGS) $(COQ_XML) -compile"
