<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../../unit.xsl"?>
<KIVSPEC name="weak-DT"><SPECBODY>actualize <a href="../../../specs/DT/export/unit.xml">DT</a>
with <a href="../../../specs/genei-index/export/unit.xml">genei-index</a>
by morphism 
end actualize</SPECBODY></KIVSPEC>