in Common Logic theories: why not replace same-set with = ?

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is

http://ontoiop.org

7 stars 1 forks source link

in Common Logic theories: why not replace same-set with = ? #253

Open tillmo opened 9 years ago

tillmo commented 9 years ago

file an fUML issue at http://solitaire.omg.org/