import names instead of include it

outsidecode/simplCoqProgram.v

outsidecode/sorts.v

src/AbstractBigraphs.v

src/BigInstantiation.v

src/Composition.v

src/LeanSupportEquivalence.v

src/LinkAxioms.v

src/MathCompAddings.v

src/MergeProduct.v

src/Names.v

src/Nesting.v

src/NodeAxiom.v

src/ParallelProduct.v

src/PlaceAxioms.v

src/SignatureBig.v

src/Sorting.v

src/SortingBig.v

src/SupportEquivalence.v

src/Symmetries.v

src/TensorProduct.v