-
- Downloads
changed order of link function so that switch_link is no longer needed
Showing
- .lia.cache 0 additions, 0 deletions.lia.cache
- src/AbstractBigraphs.v 28 additions, 30 deletionssrc/AbstractBigraphs.v
- src/Bijections.v 2 additions, 1 deletionsrc/Bijections.v
- src/Composition.v 70 additions, 71 deletionssrc/Composition.v
- src/LeanSupportEquivalence.v 259 additions, 201 deletionssrc/LeanSupportEquivalence.v
- src/LinkAxioms.v 11 additions, 11 deletionssrc/LinkAxioms.v
- src/MergeProduct.v 56 additions, 56 deletionssrc/MergeProduct.v
- src/MyBasics.v 5 additions, 2 deletionssrc/MyBasics.v
- src/Names.v 9 additions, 4 deletionssrc/Names.v
- src/Nesting.v 21 additions, 18 deletionssrc/Nesting.v
- src/NodeAxiom.v 16 additions, 14 deletionssrc/NodeAxiom.v
- src/ParallelProduct.v 180 additions, 265 deletionssrc/ParallelProduct.v
- src/PlaceAxioms.v 5 additions, 5 deletionssrc/PlaceAxioms.v
- src/SignatureBig.v 12 additions, 28 deletionssrc/SignatureBig.v
- src/SupportEquivalence.v 1 addition, 1 deletionsrc/SupportEquivalence.v
- src/Symmetries.v 39 additions, 35 deletionssrc/Symmetries.v
- src/TensorProduct.v 159 additions, 158 deletionssrc/TensorProduct.v
- src/UnionPossible.v 24 additions, 27 deletionssrc/UnionPossible.v
Loading
Please register or sign in to comment