3aad1a996180e6888430cbdf5b1272a14fa89c16 |
|
06-Jul-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added amalgamability check for heterogeneous diagrams, homogeneous case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11881 cec4b9c1-7d33-0410-9eda-942365e851bb |