search

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations
MIT License
4 stars 0 forks source link

Revert "Shifting of application conditions" #44

Closed szschaler closed 4 years ago

szschaler commented 4 years ago

Reverts gts-morpher/gts_morpher#43