ordtype.v
fmap.v
rels.v
heaps.v
hprop.v
domains.v
stmod.v
stcont.v
stlog.v
examples.v
alice.v
alice2.v
llist.v
llist2.v
llist3.v
principals.v
average.v

COQC = $(COQBIN)ssrcoq
COQLIBS = "-I . -I $(COQTOP)/Ssreflect"
COQFLAGS = "-q $(OPT) -dont-load-proofs $(COQLIBS) -compile"
