fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:modifications xmlns:xupdate="http://www.xmldb.org/xupdate" version="1.0">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:insert-before select="/DGraph/SPEC-DEFN[@name="C"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="name">B</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="range">/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:8.6</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/SPEC-DEFN[@name="A"][1]/attribute::range">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:4.6
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:remove select="/DGraph/VIEW-DEFN[@name="CasD"][1]/GMorphism[1]"/>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:append select="/DGraph/DGNode[@name="C"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="MOCAffectedSignature">true</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/SPEC-DEFN[@name="C"][1]/attribute::range">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:13.6
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/SPEC-DEFN[@name="D"][1]/attribute::range">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:19.6
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:insert-before select="/DGraph/DGNode[@name="C"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="name">B</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="refname">B</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="relxpath">/</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>Cons(ConsistencyByNoSentences)</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="range">/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:9.8</xupdate:attribute>
e418cbe496169f326cdaa6b4ba60f23d74c6b0bdChristian Maeder<xupdate:attribute name="name">C__E1</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="refname">C</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="relxpath">/Extension/Spec[1]</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>Cons(ConsistencyByNoSentences)</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>types A : Type; B : Type</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:remove select="/DGraph/DGLink[@linkid="0" and @source="A" and @target="C"][1]"/>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:append select="/DGraph/DGLink[@linkid="1" and @source="C" and @target="D"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>id_HasCASL.SubPCoClTyConsHOL= : HasCASL -> HasCASL : {types A : Type; B : Type; C : Type } |-> {types A : Type; B : Type; C : Type }</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:insert-before select="/DGraph/DGNode[@name="D"][1]/Declarations[1]/Symbol[2]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="range">/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:22.7</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:insert-before select="/DGraph/DGLink[@linkid="1" and @source="C" and @target="D"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="linkid">0</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="source">A</xupdate:attribute>
e418cbe496169f326cdaa6b4ba60f23d74c6b0bdChristian Maeder<xupdate:attribute name="target">C__E1</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>id_HasCASL.SubPCoClTyConsHOL= : HasCASL -> HasCASL : {type A : Type } |-> {types A : Type; B : Type }</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="linkid">5</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="source">B</xupdate:attribute>
e418cbe496169f326cdaa6b4ba60f23d74c6b0bdChristian Maeder<xupdate:attribute name="target">C__E1</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>id_HasCASL.SubPCoClTyConsHOL= : HasCASL -> HasCASL : {type B : Type } |-> {types A : Type; B : Type }</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="linkid">6</xupdate:attribute>
e418cbe496169f326cdaa6b4ba60f23d74c6b0bdChristian Maeder<xupdate:attribute name="source">C__E1</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="target">C</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>id_HasCASL.SubPCoClTyConsHOL= : HasCASL -> HasCASL : {types A : Type; B : Type } |-> {types A : Type; B : Type; C : Type }</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/VIEW-DEFN[@name="CasD"][1]/attribute::range">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:25.6-25.9
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/DGNode[@name="D"][1]/Declarations[1]/Symbol[1]/attribute::range">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:20.7
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:remove select="/DGraph/DGLink[@linkid="1" and @source="C" and @target="D"][1]/GMorphism[1]"/>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:append select="/DGraph/DGLink[@linkid="1" and @source="C" and @target="D"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="MOCAffectedDecomposition">true</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/DGNode[@name="C"][1]/Declarations[1]/Symbol[1]/attribute::range">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:16.8
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:append select="/DGraph/VIEW-DEFN[@name="CasD"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:text>id_HasCASL.SubPCoClTyConsHOL= : HasCASL -> HasCASL : {types A : Type; B : Type; C : Type } |-> {types A : Type; B : Type; C : Type }</xupdate:text>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:update select="/DGraph/DGNode[@name="A"][1]/Declarations[1]/Symbol[1]/attribute::range">
a29dfb37d1610631b2d655774863b02eaf49cb28Christian Maeder/Users/autexier/Repositories/omoc/src/gmoc/examples/Structuretests/AddingImports2.het:5.8
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:append select="/DGraph/DGNode[@name="D"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="MOCAffectedSignature">true</xupdate:attribute>
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:append select="/DGraph/DGLink[@linkid="1" and @source="C" and @target="D"][1]">
fa43fb19389da6eb222a2a1377943a96d55869e3Christian Maeder<xupdate:attribute name="MOCAffectedMorphism">true</xupdate:attribute>