_CoqProject

-I src
-R theories Containers

CAMLP4OPTIONS = "-loc loc"
src/printing.ml
src/printing.mli
src/generate.mlg
src/containers_plugin_mod.ml
src/containers_plugin.mllib

theories/OrderedType.v
theories/Tactics.v
theories/OrderedTypeEx.v
theories/Bridge.v
theories/SetInterface.v
theories/SetFacts.v
theories/SetDecide.v
theories/SetProperties.v
theories/SetEqProperties.v
theories/SetList.v
theories/SetListInstance.v
theories/SetAVL.v
theories/SetAVLInstance.v
theories/Sets.v
theories/MapInterface.v
theories/MapNotations.v
theories/MapFacts.v
theories/MapList.v
theories/MapListInstance.v
theories/MapAVL.v
theories/MapAVLInstance.v
theories/MapPositive.v
theories/MapPositiveInstance.v
theories/CMapPositive.v
theories/CMapPositiveInstance.v
theories/Maps.v
theories/Generate.v
theories/SetConstructs.v
theories/MapPatricia.v
theories/MapPatriciaInstance.v

tests/BenchMarks.v
tests/TestSet.v
tests/TestMap.v