239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath" >
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova<!-- generated from Twelf sources by Florian Rabe -->
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <include from="/meta/sttifol.omdoc?STTIFOLEQ"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova<view name="BaseMODView" from="/syntax/base.omdoc?Base" to="?BaseMOD">
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="bool.omdoc" module="Bool" name="bool"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="http://cds.omdoc.org/foundations/lf/lf.omdoc" module="lf" name="lambda"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="http://cds.omdoc.org/foundations/lf/lf.omdoc" module="lf" name="oftype"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="bool.omdoc" module="Bool" name="bool"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="/syntax/base.omdoc" module="Base" name="ded"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="/first-order/syntax/sorted_modules.omdoc" module="SEqual" name="eq"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="bool.omdoc" module="Bool" name="bool'"/>
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova <om:OMS base="bool.omdoc" module="Bool" name="1"/>