Cross Reference: prop2folmod.omdoc
xref
: /
hets
/
Framework
/
specs
/
logics
/
comorphism
/
prop2folmod.omdoc
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
<?
xml
version=
"1.0"
encoding=
"UTF-8"
?>
<
omdoc
xmlns=
"
http://omdoc.org/ns
"
xmlns
:
om=
"
http://www.openmath.org/OpenMath
"
>
<!-- generated from Twelf sources by Florian Rabe -->
<
view
name=
"Prop2FolMod"
from=
"/
propositional
/
model_theory
/
prop.omdoc
?PLMOD"
to=
"/
first-order
/
model_theory
/
fol.omdoc
?FOLMOD"
>
</
view
>
</
omdoc
>