rels.v
prelude.v
finmap.v
domains.v
seclog.v
secmod.v
heaps.v
hprop.v
ordtype.v
rbac.v
multilevel.v
simple_datatypes.v
datatypes.v
counter.v
array.v
multiset.v
stack.v
kvmaps.v
min.v
hashmap.v
hospital.v
hashing_client.v

SSRBIN = $(SSR)/bin
SSRLIB = $(SSR)/theories
COQC = $(SSRBIN)/ssrcoq
COQLIBS = "-I . -I $(SSRLIB) -as Ssreflect"
COQFLAGS = "-q $(OPT) -dont-load-proofs $(COQLIBS) -compile"
