301N/A<?xml version='1.0' ?>

2362N/A<DGraph filename="/home/till/CASL/Hets-lib/test/test2.casl" libname="test/test2" nextlinkid="3">

301N/A <DGNode name="sp__E1" logic="CASL" refname="sp" relxpath="/Extension/Spec[1]">

301N/A <Declarations>

301N/A <Symbol kind="sort" name="s" range="/home/till/CASL/Hets-lib/test/test2.casl:2.8">sort s</Symbol>

301N/A <Symbol kind="op" name="f" range="/home/till/CASL/Hets-lib/test/test2.casl:3.6">op f : s -&gt; s</Symbol>

301N/A </Declarations>

301N/A <Axioms>

301N/A <Axiom name="Ax1" range="/home/till/CASL/Hets-lib/test/test2.casl:3.8-4.25">

301N/A <Text>forall x : s . f(x) = x %(Ax1)%</Text>

301N/A <Symbol kind="op" name="f" range="/home/till/CASL/Hets-lib/test/test2.casl:4.18">op f : s -&gt; s</Symbol>

301N/A <Symbol kind="sort" name="s" range="/home/till/CASL/Hets-lib/test/test2.casl:3.11">sort s</Symbol>

301N/A </Axiom>

301N/A </Axioms>

301N/A </DGNode>

301N/A <DGNode name="sp__T" logic="CASL" refname="sp" relxpath="/Extension/Spec[2]/Translation">

301N/A <Axioms>

301N/A <Axiom name="Ax1" range="/home/till/CASL/Hets-lib/test/test2.casl:3.8-6.25">

2362N/A <Text>. exists x : s . f(x) = x %(Ax1)%</Text>

2362N/A <Symbol kind="op" name="f" range="/home/till/CASL/Hets-lib/test/test2.casl:6.18">op f : s -&gt; s</Symbol>

2362N/A <Symbol kind="sort" name="s" range="/home/till/CASL/Hets-lib/test/test2.casl:3.11">sort s</Symbol>

301N/A </Axiom>

301N/A </Axioms>

301N/A </DGNode>

301N/A <DGNode name="sp" logic="CASL" refname="sp" relxpath="/Extension/Spec[2]" />

301N/A <DGNode name="sp1" logic="CASL" refname="sp1" relxpath="/">

301N/A <Hidden>

301N/A <Symbol range="/home/till/CASL/Hets-lib/test/test2.casl:3.6">op f : s -&gt; s</Symbol>

301N/A </Hidden>

301N/A </DGNode>

301N/A <DGLink source="sp__E1" target="sp__T" linkid="0">

301N/A <Type>GlobalDefInc</Type>

301N/A <GMorphism name="id_CASL.SubPCSOL=E" />

301N/A </DGLink>

301N/A <DGLink source="sp__T" target="sp" linkid="1">

301N/A <Type>GlobalDefInc</Type>

301N/A <GMorphism name="id_CASL.SubPCSOL=E" />

301N/A </DGLink>

301N/A <DGLink source="sp" target="sp1" linkid="2">

301N/A <Type>HidingDefInc</Type>

301N/A <GMorphism name="id_CASL.SubPCSOL=E" />

301N/A </DGLink>

301N/A</DGraph>

301N/A