_CoqProject

# Main _CoqProject file.
# When CompCert is used, _CoqProject.compcert will be included beforehand.

-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/Sets.v
models/FreeCategories.v
models/Signature.v
models/EffectSignatures.v
models/IntSpec.v
models/Coherence.v
models/DCPO.v
models/IntStrat.v
models/LinCCAL.v
models/ConcSignature.v
models/ConcMonad.v
models/ConcStrategy.v
models/ConcRefinement.v
examples/CAL.v
examples/ConcSpawn.v
examples/ConcChan.v
interfaces/Category.v
interfaces/Functor.v
interfaces/MonoidalCategory.v
interfaces/ConcreteCategory.v
interfaces/FunctorCategory.v
interfaces/Limits.v
interfaces/Adjunctions.v
interfaces/Monads.v
interfaces/LiftMonad.v