| 3a9118f1a3c43d24b3fd1fe4c56b0464012d3484 |
|
01-Aug-2013 |
Daniel Calegari <dcalegar@fing.edu.uy> |
New version with complete comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18111 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a58d43a4b2864a25ab74b96758fb9d98f18eeed7 |
|
30-Jul-2013 |
Daniel Calegari <dcalegar@fing.edu.uy> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18085 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d3d15411081a9ac4a84d409079153135bb30442a |
|
29-Jul-2013 |
Daniel Calegari <dcalegar@fing.edu.uy> |
First version of CSMOF Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18084 cec4b9c1-7d33-0410-9eda-942365e851bb |