_CoqProject

-R compcert/lib compcert.lib
-R compcert/common compcert.common
-R compcert/x86_64 compcert.x86_64
-R compcert/x86 compcert.x86
-R compcert/backend compcert.backend
-R compcert/cfrontend compcert.cfrontend
-R compcert/driver compcert.driver
-R compcert/export compcert.export
-R compcert/cparser compcert.cparser
-R compcert/cklr compcert.cklr
-R compcert/flocq Flocq
-R compcert/MenhirLib MenhirLib

-R coqrel coqrel
-R structures structures
-R lattices lattices
-R models models
-R examples examples
-R interfaces interfaces

structures/Poset.v
structures/Lattice.v
structures/Completion.v
structures/Category.v
structures/Monad.v
structures/Effects.v
lattices/Downset.v
lattices/Upset.v
lattices/FCD.v
lattices/LatticeProduct.v
lattices/AdjoinBot.v
models/Signature.v
models/IntSpec.v
models/Coherence.v
models/IntStrat.v
examples/CAL.v
interfaces/Category.v
interfaces/Functor.v
interfaces/MonoidalCategory.v
interfaces/ConcreteCategory.v