absprooftree.cmi: displayfont.cmi prooftree.cmo seqtype.cmo termtype.cmi \
    text.cmi thing.cmi 
applyrule.cmi: cxttype.cmo name.cmi prooftree.cmo proviso.cmi seqtype.cmo \
    termtype.cmi 
binding.cmi: termtype.cmi 
boxdraw.cmi: screendraw.cmo 
button.cmi: name.cmi 
cxtexterior.cmi: cxttype.cmo rewinf.cmi 
cxtfuns.cmi: cxttype.cmo idclass.cmi mappingfuns.cmi proviso.cmi seqtype.cmo \
    termtype.cmi 
cxtprovisos.cmi: cxttype.cmo proviso.cmi rewinf.cmi 
cxtstring.cmi: cxttype.cmo 
disproof.cmi: box.cmi facts.cmi forcedef.cmi prooftree.cmo seqtype.cmo \
    termtype.cmi 
doubleclick.cmi: seqtype.cmo tactictype.cmo termtype.cmi 
draw.cmi: absprooftree.cmi box.cmi displayclass.cmi japeserver.cmi \
    termtype.cmi text.cmi 
facts.cmi: answer.cmi cxttype.cmo proviso.cmi termtype.cmi 
forcedef.cmi: seqtype.cmo termtype.cmi 
hit.cmi: termtype.cmi 
idclassfuns.cmi: idclass.cmi symboltype.cmo 
interaction.cmi: box.cmi cxttype.cmo displaystate.cmo hit.cmi proofstate.cmi \
    prooftree.cmo seqtype.cmo termtype.cmi 
invisibles.cmi: uTF.cmi 
japeenv.cmi: name.cmi termtype.cmi 
japeserver.cmi: box.cmi displayclass.cmi displayfont.cmi moresys.cmi \
    panelkind.cmo termtype.cmi 
match.cmi: mappingfuns.cmi termtype.cmi 
menu.cmi: name.cmi panelkind.cmo 
name.cmi: nametype.cmo termtype.cmi 
oracle.cmi: cxttype.cmo termtype.cmi 
paragraph.cmi: doubleclick.cmi forcedef.cmi menu.cmi name.cmi panelkind.cmo \
    paraparam.cmi proofstage.cmo proviso.cmi seqtype.cmo tactictype.cmo \
    termtype.cmi 
paragraphfuns.cmi: forcedef.cmi japeenv.cmi name.cmi paragraph.cmi \
    paraparam.cmi proofstate.cmi proviso.cmi runproof.cmi seqtype.cmo \
    thing.cmi 
paraparam.cmi: idclass.cmi termtype.cmi 
predicate.cmi: termtype.cmi 
proofstate.cmi: cxttype.cmo prooftree.cmo seqtype.cmo tactictype.cmo \
    termtype.cmi 
proofstore.cmi: cxttype.cmo forcedef.cmi name.cmi proofstage.cmo \
    prooftree.cmo proviso.cmi seqtype.cmo thing.cmi 
proviso.cmi: provisotype.cmo termtype.cmi 
provisofuns.cmi: cxttype.cmo mappingfuns.cmi proviso.cmi seqtype.cmo \
    termtype.cmi 
rew.cmi: cxttype.cmo proviso.cmi rewinf.cmi seqtype.cmo termtype.cmi 
rewinf.cmi: termtype.cmi 
rewrite.cmi: cxttype.cmo seqtype.cmo termtype.cmi 
runproof.cmi: cxttype.cmo forcedef.cmi japeenv.cmi name.cmi proofstage.cmo \
    proofstate.cmi proviso.cmi seqtype.cmo tactictype.cmo 
selection.cmi: cxttype.cmo termtype.cmi 
seqdraw.cmi: box.cmi displayclass.cmi draw.cmi seqtype.cmo termtype.cmi 
sequent.cmi: idclass.cmi mappingfuns.cmi seqtype.cmo symboltype.cmo \
    termtype.cmi 
substmapfuns.cmi: answer.cmi facts.cmi termtype.cmi 
symbol.cmi: idclass.cmi symboltype.cmo uTF.cmi 
tactic.cmi: mappingfuns.cmi name.cmi tactictype.cmo termtype.cmi 
tacticfuns.cmi: displaystate.cmo hit.cmi japeenv.cmi name.cmi proofstate.cmi \
    prooftree.cmo tactictype.cmo termtype.cmi 
termfold.cmi: box.cmi draw.cmi termtype.cmi text.cmi 
termfuns.cmi: idclass.cmi termtype.cmi 
termparse.cmi: symbol.cmi termtype.cmi 
termstore.cmi: idclass.cmi termtype.cmi 
termstring.cmi: symbol.cmi termtype.cmi 
termtype.cmi: idclass.cmi 
text.cmi: box.cmi displayfont.cmi 
thing.cmi: cxttype.cmo mappingfuns.cmi name.cmi paraparam.cmi proviso.cmi \
    seqtype.cmo tactictype.cmo termtype.cmi 
treedraw.cmi: screendraw.cmo 
treelayout.cmi: mappingfuns.cmi termtype.cmi 
unify.cmi: cxttype.cmo termtype.cmi 
absprooftree.cmo: displayfont.cmi proofstore.cmi prooftree.cmo seqtype.cmo \
    sequent.cmi sml.cmi symbol.cmi termfuns.cmi termtype.cmi text.cmi \
    thing.cmi treeformat.cmo absprooftree.cmi 
absprooftree.cmx: displayfont.cmx proofstore.cmx prooftree.cmx seqtype.cmx \
    sequent.cmx sml.cmx symbol.cmx termfuns.cmx termtype.cmx text.cmx \
    thing.cmx treeformat.cmx absprooftree.cmi 
alert.cmo: japeserver.cmi listfuns.cmi miscellaneous.cmi optionfuns.cmi \
    sml.cmi stringfuns.cmi alert.cmi 
alert.cmx: japeserver.cmx listfuns.cmx miscellaneous.cmx optionfuns.cmx \
    sml.cmx stringfuns.cmx alert.cmi 
answer.cmo: sml.cmi answer.cmi 
answer.cmx: sml.cmx answer.cmi 
applyrule.cmo: alert.cmi cxtfuns.cmi cxtstring.cmi cxttype.cmo idclass.cmi \
    listfuns.cmi mappingfuns.cmi miscellaneous.cmi name.cmi optionfuns.cmi \
    prooftree.cmo proviso.cmi provisofuns.cmi provisotype.cmo reason.cmi \
    rewinf.cmi rewrite.cmi seqtype.cmo sequent.cmi sml.cmi stringfuns.cmi \
    termfuns.cmi termstore.cmi termstring.cmi termtype.cmi treeformat.cmo \
    unify.cmi applyrule.cmi 
applyrule.cmx: alert.cmx cxtfuns.cmx cxtstring.cmx cxttype.cmx idclass.cmx \
    listfuns.cmx mappingfuns.cmx miscellaneous.cmx name.cmx optionfuns.cmx \
    prooftree.cmx proviso.cmx provisofuns.cmx provisotype.cmx reason.cmx \
    rewinf.cmx rewrite.cmx seqtype.cmx sequent.cmx sml.cmx stringfuns.cmx \
    termfuns.cmx termstore.cmx termstring.cmx termtype.cmx treeformat.cmx \
    unify.cmx applyrule.cmi 
binding.cmo: listfuns.cmi mappingfuns.cmi match.cmi miscellaneous.cmi \
    optionfuns.cmi stringfuns.cmi termfuns.cmi termstring.cmi termtype.cmi \
    binding.cmi 
binding.cmx: listfuns.cmx mappingfuns.cmx match.cmx miscellaneous.cmx \
    optionfuns.cmx stringfuns.cmx termfuns.cmx termstring.cmx termtype.cmx \
    binding.cmi 
box.cmo: sml.cmi stringfuns.cmi box.cmi 
box.cmx: sml.cmx stringfuns.cmx box.cmi 
boxdraw.cmo: absprooftree.cmi box.cmi displayclass.cmi displayfont.cmi \
    draw.cmi hit.cmi japeserver.cmi listfuns.cmi mappingfuns.cmi minwaste.cmi \
    miscellaneous.cmi optionfuns.cmi prooftree.cmo sequent.cmi sml.cmi \
    stringfuns.cmi termfold.cmi termfuns.cmi termstring.cmi termtype.cmi \
    text.cmi thing.cmi boxdraw.cmi 
boxdraw.cmx: absprooftree.cmx box.cmx displayclass.cmx displayfont.cmx \
    draw.cmx hit.cmx japeserver.cmx listfuns.cmx mappingfuns.cmx minwaste.cmx \
    miscellaneous.cmx optionfuns.cmx prooftree.cmx sequent.cmx sml.cmx \
    stringfuns.cmx termfold.cmx termfuns.cmx termstring.cmx termtype.cmx \
    text.cmx thing.cmx boxdraw.cmi 
button.cmo: interaction.cmi japeserver.cmi mappingfuns.cmi menu.cmi name.cmi \
    panelkind.cmo button.cmi 
button.cmx: interaction.cmx japeserver.cmx mappingfuns.cmx menu.cmx name.cmx \
    panelkind.cmx button.cmi 
cache.cmo: cache.cmi 
cache.cmx: cache.cmi 
cxtexterior.cmo: cxttype.cmo cxtexterior.cmi 
cxtexterior.cmx: cxttype.cmx cxtexterior.cmi 
cxtfuns.cmo: cxttype.cmo listfuns.cmi mappingfuns.cmi proviso.cmi \
    provisotype.cmo rewinf.cmi sml.cmi termfuns.cmi termstore.cmi cxtfuns.cmi 
cxtfuns.cmx: cxttype.cmx listfuns.cmx mappingfuns.cmx proviso.cmx \
    provisotype.cmx rewinf.cmx sml.cmx termfuns.cmx termstore.cmx cxtfuns.cmi 
cxtprovisos.cmo: cxttype.cmo miscellaneous.cmi cxtprovisos.cmi 
cxtprovisos.cmx: cxttype.cmx miscellaneous.cmx cxtprovisos.cmi 
cxtstring.cmo: cxttype.cmo listfuns.cmi mappingfuns.cmi optionfuns.cmi \
    proviso.cmi rewinf.cmi sequent.cmi sml.cmi stringfuns.cmi termfuns.cmi \
    termstring.cmi cxtstring.cmi 
cxtstring.cmx: cxttype.cmx listfuns.cmx mappingfuns.cmx optionfuns.cmx \
    proviso.cmx rewinf.cmx sequent.cmx sml.cmx stringfuns.cmx termfuns.cmx \
    termstring.cmx cxtstring.cmi 
cxttype.cmo: mappingfuns.cmi proviso.cmi rewinf.cmi seqtype.cmo termtype.cmi 
cxttype.cmx: mappingfuns.cmx proviso.cmx rewinf.cmx seqtype.cmx termtype.cmx 
dialogue.cmo: alert.cmi answer.cmi applyrule.cmi binding.cmi box.cmi \
    boxdraw.cmi button.cmi cxtfuns.cmi displaystate.cmo disproof.cmi \
    doubleclick.cmi facts.cmi hit.cmi interaction.cmi invisibles.cmi \
    japeenv.cmi japeserver.cmi listfuns.cmi mappingfuns.cmi match.cmi \
    menu.cmi minwaste.cmi miscellaneous.cmi moresys.cmi name.cmi \
    optionfuns.cmi paragraph.cmi paragraphfuns.cmi predicate.cmi \
    proofstage.cmo proofstate.cmi proofstore.cmi prooftree.cmo proviso.cmi \
    provisofuns.cmi rewrite.cmi runproof.cmi seqtype.cmo sequent.cmi sml.cmi \
    stringfuns.cmi substmapfuns.cmi symbol.cmi tactic.cmi tacticfuns.cmi \
    termfold.cmi termfuns.cmi termparse.cmi termstore.cmi termstring.cmi \
    thing.cmi treeformat.cmo uTF.cmi unify.cmi usefile.cmi version.cmi \
    dialogue.cmi 
dialogue.cmx: alert.cmx answer.cmx applyrule.cmx binding.cmx box.cmx \
    boxdraw.cmx button.cmx cxtfuns.cmx displaystate.cmx disproof.cmx \
    doubleclick.cmx facts.cmx hit.cmx interaction.cmx invisibles.cmx \
    japeenv.cmx japeserver.cmx listfuns.cmx mappingfuns.cmx match.cmx \
    menu.cmx minwaste.cmx miscellaneous.cmx moresys.cmx name.cmx \
    optionfuns.cmx paragraph.cmx paragraphfuns.cmx predicate.cmx \
    proofstage.cmx proofstate.cmx proofstore.cmx prooftree.cmx proviso.cmx \
    provisofuns.cmx rewrite.cmx runproof.cmx seqtype.cmx sequent.cmx sml.cmx \
    stringfuns.cmx substmapfuns.cmx symbol.cmx tactic.cmx tacticfuns.cmx \
    termfold.cmx termfuns.cmx termparse.cmx termstore.cmx termstring.cmx \
    thing.cmx treeformat.cmx uTF.cmx unify.cmx usefile.cmx version.cmx \
    dialogue.cmi 
displayclass.cmo: miscellaneous.cmi displayclass.cmi 
displayclass.cmx: miscellaneous.cmx displayclass.cmi 
displayfont.cmo: miscellaneous.cmi displayfont.cmi 
displayfont.cmx: miscellaneous.cmx displayfont.cmi 
displaystate.cmo: box.cmi displayclass.cmi hit.cmi prooftree.cmo termtype.cmi 
displaystate.cmx: box.cmx displayclass.cmx hit.cmx prooftree.cmx termtype.cmx 
displaystyle.cmo: absprooftree.cmi box.cmi boxdraw.cmi displaystate.cmo \
    draw.cmi hit.cmi listfuns.cmi miscellaneous.cmi optionfuns.cmi \
    proofstore.cmi prooftree.cmo screendraw.cmo stringfuns.cmi treedraw.cmi \
    treeformat.cmo 
displaystyle.cmx: absprooftree.cmx box.cmx boxdraw.cmx displaystate.cmx \
    draw.cmx hit.cmx listfuns.cmx miscellaneous.cmx optionfuns.cmx \
    proofstore.cmx prooftree.cmx screendraw.cmx stringfuns.cmx treedraw.cmx \
    treeformat.cmx 
disproof.cmo: alert.cmi binding.cmi box.cmi displayfont.cmi draw.cmi fix.cmi \
    forcedef.cmi idclass.cmi invisibles.cmi japeserver.cmi listfuns.cmi \
    mappingfuns.cmi match.cmi miscellaneous.cmi optionfuns.cmi predicate.cmi \
    prooftree.cmo seqdraw.cmi seqtype.cmo sequent.cmi sml.cmi stringfuns.cmi \
    substmapfuns.cmi symbol.cmi termfuns.cmi termparse.cmi termstore.cmi \
    termstring.cmi termtype.cmi uTF.cmi disproof.cmi 
disproof.cmx: alert.cmx binding.cmx box.cmx displayfont.cmx draw.cmx fix.cmx \
    forcedef.cmx idclass.cmx invisibles.cmx japeserver.cmx listfuns.cmx \
    mappingfuns.cmx match.cmx miscellaneous.cmx optionfuns.cmx predicate.cmx \
    prooftree.cmx seqdraw.cmx seqtype.cmx sequent.cmx sml.cmx stringfuns.cmx \
    substmapfuns.cmx symbol.cmx termfuns.cmx termparse.cmx termstore.cmx \
    termstring.cmx termtype.cmx uTF.cmx disproof.cmi 
doubleclick.cmo: listfuns.cmi mappingfuns.cmi optionfuns.cmi seqtype.cmo \
    sequent.cmi tactic.cmi tactictype.cmo termtype.cmi doubleclick.cmi 
doubleclick.cmx: listfuns.cmx mappingfuns.cmx optionfuns.cmx seqtype.cmx \
    sequent.cmx tactic.cmx tactictype.cmx termtype.cmx doubleclick.cmi 
draw.cmo: absprooftree.cmi box.cmi displayclass.cmi displayfont.cmi \
    japeserver.cmi listfuns.cmi mappingfuns.cmi minwaste.cmi \
    miscellaneous.cmi optionfuns.cmi sml.cmi stringfuns.cmi termstring.cmi \
    termtype.cmi text.cmi draw.cmi 
draw.cmx: absprooftree.cmx box.cmx displayclass.cmx displayfont.cmx \
    japeserver.cmx listfuns.cmx mappingfuns.cmx minwaste.cmx \
    miscellaneous.cmx optionfuns.cmx sml.cmx stringfuns.cmx termstring.cmx \
    termtype.cmx text.cmx draw.cmi 
env.cmo: sml.cmi env.cmi 
env.cmx: sml.cmx env.cmi 
facts.cmo: answer.cmi cxtexterior.cmi cxtstring.cmi cxttype.cmo listfuns.cmi \
    mappingfuns.cmi miscellaneous.cmi proviso.cmi provisotype.cmo rewinf.cmi \
    stringfuns.cmi symbol.cmi termfuns.cmi termstring.cmi termtype.cmi \
    facts.cmi 
facts.cmx: answer.cmx cxtexterior.cmx cxtstring.cmx cxttype.cmx listfuns.cmx \
    mappingfuns.cmx miscellaneous.cmx proviso.cmx provisotype.cmx rewinf.cmx \
    stringfuns.cmx symbol.cmx termfuns.cmx termstring.cmx termtype.cmx \
    facts.cmi 
fix.cmo: fix.cmi 
fix.cmx: fix.cmi 
forcedef.cmo: listfuns.cmi miscellaneous.cmi optionfuns.cmi sequent.cmi \
    sml.cmi stringfuns.cmi symbol.cmi symboltype.cmo termfuns.cmi \
    termparse.cmi termstring.cmi termtype.cmi forcedef.cmi 
forcedef.cmx: listfuns.cmx miscellaneous.cmx optionfuns.cmx sequent.cmx \
    sml.cmx stringfuns.cmx symbol.cmx symboltype.cmx termfuns.cmx \
    termparse.cmx termstring.cmx termtype.cmx forcedef.cmi 
hit.cmo: listfuns.cmi optionfuns.cmi sml.cmi stringfuns.cmi termstring.cmi \
    termtype.cmi hit.cmi 
hit.cmx: listfuns.cmx optionfuns.cmx sml.cmx stringfuns.cmx termstring.cmx \
    termtype.cmx hit.cmi 
idclass.cmo: listfuns.cmi idclass.cmi 
idclass.cmx: listfuns.cmx idclass.cmi 
idclassfuns.cmo: idclass.cmi listfuns.cmi miscellaneous.cmi symbol.cmi \
    symboltype.cmo idclassfuns.cmi 
idclassfuns.cmx: idclass.cmx listfuns.cmx miscellaneous.cmx symbol.cmx \
    symboltype.cmx idclassfuns.cmi 
interaction.cmo: alert.cmi answer.cmi box.cmi cxtfuns.cmi displayclass.cmi \
    displayfont.cmi displaystate.cmo displaystyle.cmo draw.cmi hit.cmi \
    invisibles.cmi japeserver.cmi listfuns.cmi miscellaneous.cmi \
    optionfuns.cmi proofstate.cmi prooftree.cmo proviso.cmi rewrite.cmi \
    selection.cmi seqtype.cmo sequent.cmi sml.cmi stringfuns.cmi termfuns.cmi \
    termstring.cmi treeformat.cmo uTF.cmi interaction.cmi 
interaction.cmx: alert.cmx answer.cmx box.cmx cxtfuns.cmx displayclass.cmx \
    displayfont.cmx displaystate.cmx displaystyle.cmx draw.cmx hit.cmx \
    invisibles.cmx japeserver.cmx listfuns.cmx miscellaneous.cmx \
    optionfuns.cmx proofstate.cmx prooftree.cmx proviso.cmx rewrite.cmx \
    selection.cmx seqtype.cmx sequent.cmx sml.cmx stringfuns.cmx termfuns.cmx \
    termstring.cmx treeformat.cmx uTF.cmx interaction.cmi 
invisibles.cmo: sml.cmi uTF.cmi invisibles.cmi 
invisibles.cmx: sml.cmx uTF.cmx invisibles.cmi 
japeenv.cmo: listfuns.cmi mappingfuns.cmi miscellaneous.cmi name.cmi \
    optionfuns.cmi sml.cmi stringfuns.cmi termparse.cmi termstring.cmi \
    termtype.cmi japeenv.cmi 
japeenv.cmx: listfuns.cmx mappingfuns.cmx miscellaneous.cmx name.cmx \
    optionfuns.cmx sml.cmx stringfuns.cmx termparse.cmx termstring.cmx \
    termtype.cmx japeenv.cmi 
japeserver.cmo: box.cmi displayclass.cmi displayfont.cmi invisibles.cmi \
    listfuns.cmi mappingfuns.cmi miscellaneous.cmi panelkind.cmo sml.cmi \
    stringfuns.cmi termstring.cmi termtype.cmi uTF.cmi japeserver.cmi 
japeserver.cmx: box.cmx displayclass.cmx displayfont.cmx invisibles.cmx \
    listfuns.cmx mappingfuns.cmx miscellaneous.cmx panelkind.cmx sml.cmx \
    stringfuns.cmx termstring.cmx termtype.cmx uTF.cmx japeserver.cmi 
listfuns.cmo: miscellaneous.cmi sml.cmi listfuns.cmi 
listfuns.cmx: miscellaneous.cmx sml.cmx listfuns.cmi 
main.cmo: dialogue.cmi 
main.cmx: dialogue.cmx 
mappingfuns.cmo: listfuns.cmi miscellaneous.cmi optionfuns.cmi sml.cmi \
    mappingfuns.cmi 
mappingfuns.cmx: listfuns.cmx miscellaneous.cmx optionfuns.cmx sml.cmx \
    mappingfuns.cmi 
match.cmo: idclass.cmi listfuns.cmi mappingfuns.cmi miscellaneous.cmi \
    optionfuns.cmi sml.cmi termfuns.cmi termstore.cmi termstring.cmi \
    termtype.cmi match.cmi 
match.cmx: idclass.cmx listfuns.cmx mappingfuns.cmx miscellaneous.cmx \
    optionfuns.cmx sml.cmx termfuns.cmx termstore.cmx termstring.cmx \
    termtype.cmx match.cmi 
menu.cmo: listfuns.cmi mappingfuns.cmi miscellaneous.cmi name.cmi \
    optionfuns.cmi panelkind.cmo sml.cmi stringfuns.cmi menu.cmi 
menu.cmx: listfuns.cmx mappingfuns.cmx miscellaneous.cmx name.cmx \
    optionfuns.cmx panelkind.cmx sml.cmx stringfuns.cmx menu.cmi 
minwaste.cmo: cache.cmi listfuns.cmi miscellaneous.cmi minwaste.cmi 
minwaste.cmx: cache.cmx listfuns.cmx miscellaneous.cmx minwaste.cmi 
miscellaneous.cmo: sml.cmi miscellaneous.cmi 
miscellaneous.cmx: sml.cmx miscellaneous.cmi 
moresys.cmo: moresys.cmi 
moresys.cmx: moresys.cmi 
name.cmo: miscellaneous.cmi nametype.cmo stringfuns.cmi symbol.cmi \
    symboltype.cmo termfuns.cmi termparse.cmi termtype.cmi name.cmi 
name.cmx: miscellaneous.cmx nametype.cmx stringfuns.cmx symbol.cmx \
    symboltype.cmx termfuns.cmx termparse.cmx termtype.cmx name.cmi 
optionfuns.cmo: miscellaneous.cmi sml.cmi optionfuns.cmi 
optionfuns.cmx: miscellaneous.cmx sml.cmx optionfuns.cmi 
oracle.cmo: button.cmi cxtfuns.cmi cxttype.cmo env.cmi mappingfuns.cmi \
    miscellaneous.cmi moresys.cmi reason.cmi sml.cmi stringfuns.cmi \
    termfuns.cmi termstring.cmi termtype.cmi uTF.cmi usefile.cmi oracle.cmi 
oracle.cmx: button.cmx cxtfuns.cmx cxttype.cmx env.cmx mappingfuns.cmx \
    miscellaneous.cmx moresys.cmx reason.cmx sml.cmx stringfuns.cmx \
    termfuns.cmx termstring.cmx termtype.cmx uTF.cmx usefile.cmx oracle.cmi 
paragraph.cmo: alert.cmi binding.cmi doubleclick.cmi forcedef.cmi idclass.cmi \
    idclassfuns.cmi listfuns.cmi menu.cmi miscellaneous.cmi name.cmi \
    nametype.cmo optionfuns.cmi panelkind.cmo paraparam.cmi proofstage.cmo \
    proviso.cmi sequent.cmi sml.cmi stringfuns.cmi symbol.cmi symboltype.cmo \
    tactic.cmi termfuns.cmi termparse.cmi termstring.cmi uTF.cmi usefile.cmi \
    paragraph.cmi 
paragraph.cmx: alert.cmx binding.cmx doubleclick.cmx forcedef.cmx idclass.cmx \
    idclassfuns.cmx listfuns.cmx menu.cmx miscellaneous.cmx name.cmx \
    nametype.cmx optionfuns.cmx panelkind.cmx paraparam.cmx proofstage.cmx \
    proviso.cmx sequent.cmx sml.cmx stringfuns.cmx symbol.cmx symboltype.cmx \
    tactic.cmx termfuns.cmx termparse.cmx termstring.cmx uTF.cmx usefile.cmx \
    paragraph.cmi 
paragraphfuns.cmo: button.cmi cxtfuns.cmi disproof.cmi doubleclick.cmi \
    japeenv.cmi japeserver.cmi listfuns.cmi mappingfuns.cmi menu.cmi \
    miscellaneous.cmi name.cmi optionfuns.cmi paragraph.cmi paraparam.cmi \
    proofstage.cmo proofstate.cmi proofstore.cmi proviso.cmi runproof.cmi \
    sequent.cmi sml.cmi stringfuns.cmi tactic.cmi tactictype.cmo termfuns.cmi \
    termparse.cmi termstring.cmi thing.cmi paragraphfuns.cmi 
paragraphfuns.cmx: button.cmx cxtfuns.cmx disproof.cmx doubleclick.cmx \
    japeenv.cmx japeserver.cmx listfuns.cmx mappingfuns.cmx menu.cmx \
    miscellaneous.cmx name.cmx optionfuns.cmx paragraph.cmx paraparam.cmx \
    proofstage.cmx proofstate.cmx proofstore.cmx proviso.cmx runproof.cmx \
    sequent.cmx sml.cmx stringfuns.cmx tactic.cmx tactictype.cmx termfuns.cmx \
    termparse.cmx termstring.cmx thing.cmx paragraphfuns.cmi 
paraparam.cmo: idclass.cmi listfuns.cmi symbol.cmi termfuns.cmi termstore.cmi \
    termtype.cmi paraparam.cmi 
paraparam.cmx: idclass.cmx listfuns.cmx symbol.cmx termfuns.cmx termstore.cmx \
    termtype.cmx paraparam.cmi 
predicate.cmo: idclass.cmi listfuns.cmi miscellaneous.cmi optionfuns.cmi \
    sml.cmi stringfuns.cmi termfuns.cmi termstore.cmi termstring.cmi \
    termtype.cmi predicate.cmi 
predicate.cmx: idclass.cmx listfuns.cmx miscellaneous.cmx optionfuns.cmx \
    sml.cmx stringfuns.cmx termfuns.cmx termstore.cmx termstring.cmx \
    termtype.cmx predicate.cmi 
prestring.cmo: sml.cmi prestring.cmi 
prestring.cmx: sml.cmx prestring.cmi 
proofstate.cmo: cxtfuns.cmi cxtstring.cmi listfuns.cmi miscellaneous.cmi \
    optionfuns.cmi prooftree.cmo proviso.cmi rewrite.cmi sequent.cmi sml.cmi \
    stringfuns.cmi tactictype.cmo termfuns.cmi thing.cmi treeformat.cmo \
    proofstate.cmi 
proofstate.cmx: cxtfuns.cmx cxtstring.cmx listfuns.cmx miscellaneous.cmx \
    optionfuns.cmx prooftree.cmx proviso.cmx rewrite.cmx sequent.cmx sml.cmx \
    stringfuns.cmx tactictype.cmx termfuns.cmx thing.cmx treeformat.cmx \
    proofstate.cmi 
proofstore.cmo: cxtfuns.cmi forcedef.cmi listfuns.cmi mappingfuns.cmi \
    menu.cmi miscellaneous.cmi name.cmi optionfuns.cmi panelkind.cmo \
    paraparam.cmi proofstage.cmo prooftree.cmo proviso.cmi rewrite.cmi \
    sml.cmi thing.cmi proofstore.cmi 
proofstore.cmx: cxtfuns.cmx forcedef.cmx listfuns.cmx mappingfuns.cmx \
    menu.cmx miscellaneous.cmx name.cmx optionfuns.cmx panelkind.cmx \
    paraparam.cmx proofstage.cmx prooftree.cmx proviso.cmx rewrite.cmx \
    sml.cmx thing.cmx proofstore.cmi 
prooftree.cmo: cxtexterior.cmi cxtfuns.cmi cxtstring.cmi cxttype.cmo \
    idclass.cmi listfuns.cmi mappingfuns.cmi miscellaneous.cmi name.cmi \
    optionfuns.cmi paragraph.cmi proviso.cmi provisofuns.cmi provisotype.cmo \
    rew.cmi rewinf.cmi rewrite.cmi seqtype.cmo sequent.cmi sml.cmi \
    stringfuns.cmi tactic.cmi tactictype.cmo termfuns.cmi termstore.cmi \
    termstring.cmi termtype.cmi thing.cmi treeformat.cmo treelayout.cmi \
    uTF.cmi 
prooftree.cmx: cxtexterior.cmx cxtfuns.cmx cxtstring.cmx cxttype.cmx \
    idclass.cmx listfuns.cmx mappingfuns.cmx miscellaneous.cmx name.cmx \
    optionfuns.cmx paragraph.cmx proviso.cmx provisofuns.cmx provisotype.cmx \
    rew.cmx rewinf.cmx rewrite.cmx seqtype.cmx sequent.cmx sml.cmx \
    stringfuns.cmx tactic.cmx tactictype.cmx termfuns.cmx termstore.cmx \
    termstring.cmx termtype.cmx thing.cmx treeformat.cmx treelayout.cmx \
    uTF.cmx 
proviso.cmo: idclass.cmi listfuns.cmi miscellaneous.cmi provisotype.cmo \
    sml.cmi symbol.cmi symboltype.cmo termfuns.cmi termparse.cmi \
    termstore.cmi termstring.cmi termtype.cmi proviso.cmi 
proviso.cmx: idclass.cmx listfuns.cmx miscellaneous.cmx provisotype.cmx \
    sml.cmx symbol.cmx symboltype.cmx termfuns.cmx termparse.cmx \
    termstore.cmx termstring.cmx termtype.cmx proviso.cmi 
provisofuns.cmo: answer.cmi cxtexterior.cmi cxtfuns.cmi cxtstring.cmi \
    cxttype.cmo facts.cmi idclass.cmi listfuns.cmi mappingfuns.cmi match.cmi \
    miscellaneous.cmi optionfuns.cmi proviso.cmi provisotype.cmo rewrite.cmi \
    seqtype.cmo sequent.cmi sml.cmi stringfuns.cmi substmapfuns.cmi \
    termfuns.cmi termstore.cmi termstring.cmi termtype.cmi provisofuns.cmi 
provisofuns.cmx: answer.cmx cxtexterior.cmx cxtfuns.cmx cxtstring.cmx \
    cxttype.cmx facts.cmx idclass.cmx listfuns.cmx mappingfuns.cmx match.cmx \
    miscellaneous.cmx optionfuns.cmx proviso.cmx provisotype.cmx rewrite.cmx \
    seqtype.cmx sequent.cmx sml.cmx stringfuns.cmx substmapfuns.cmx \
    termfuns.cmx termstore.cmx termstring.cmx termtype.cmx provisofuns.cmi 
provisotype.cmo: termtype.cmi 
provisotype.cmx: termtype.cmx 
reason.cmo: reason.cmi 
reason.cmx: reason.cmi 
rew.cmo: answer.cmi cxtexterior.cmi cxtfuns.cmi cxtprovisos.cmi cxtstring.cmi \
    cxttype.cmo facts.cmi listfuns.cmi mappingfuns.cmi miscellaneous.cmi \
    optionfuns.cmi proviso.cmi provisotype.cmo rewinf.cmi seqtype.cmo \
    sequent.cmi sml.cmi substmapfuns.cmi termfuns.cmi termstore.cmi \
    termstring.cmi termtype.cmi rew.cmi 
rew.cmx: answer.cmx cxtexterior.cmx cxtfuns.cmx cxtprovisos.cmx cxtstring.cmx \
    cxttype.cmx facts.cmx listfuns.cmx mappingfuns.cmx miscellaneous.cmx \
    optionfuns.cmx proviso.cmx provisotype.cmx rewinf.cmx seqtype.cmx \
    sequent.cmx sml.cmx substmapfuns.cmx termfuns.cmx termstore.cmx \
    termstring.cmx termtype.cmx rew.cmi 
rewinf.cmo: listfuns.cmi optionfuns.cmi stringfuns.cmi termfuns.cmi \
    termstring.cmi termtype.cmi rewinf.cmi 
rewinf.cmx: listfuns.cmx optionfuns.cmx stringfuns.cmx termfuns.cmx \
    termstring.cmx termtype.cmx rewinf.cmi 
rewrite.cmo: optionfuns.cmi rew.cmi rewrite.cmi 
rewrite.cmx: optionfuns.cmx rew.cmx rewrite.cmi 
runproof.cmo: applyrule.cmi cxtexterior.cmi cxtfuns.cmi disproof.cmi \
    facts.cmi listfuns.cmi mappingfuns.cmi miscellaneous.cmi name.cmi \
    optionfuns.cmi paragraph.cmi proofstage.cmo proofstate.cmi proofstore.cmi \
    prooftree.cmo proviso.cmi reason.cmi rewrite.cmi sequent.cmi sml.cmi \
    tactic.cmi tacticfuns.cmi tactictype.cmo thing.cmi treeformat.cmo \
    runproof.cmi 
runproof.cmx: applyrule.cmx cxtexterior.cmx cxtfuns.cmx disproof.cmx \
    facts.cmx listfuns.cmx mappingfuns.cmx miscellaneous.cmx name.cmx \
    optionfuns.cmx paragraph.cmx proofstage.cmx proofstate.cmx proofstore.cmx \
    prooftree.cmx proviso.cmx reason.cmx rewrite.cmx sequent.cmx sml.cmx \
    tactic.cmx tacticfuns.cmx tactictype.cmx thing.cmx treeformat.cmx \
    runproof.cmi 
screendraw.cmo: absprooftree.cmi box.cmi displayclass.cmi hit.cmi 
screendraw.cmx: absprooftree.cmx box.cmx displayclass.cmx hit.cmx 
searchtree.cmo: listfuns.cmi miscellaneous.cmi sml.cmi searchtree.cmi 
searchtree.cmx: listfuns.cmx miscellaneous.cmx sml.cmx searchtree.cmi 
selection.cmo: answer.cmi cxtfuns.cmi facts.cmi idclass.cmi listfuns.cmi \
    miscellaneous.cmi provisotype.cmo rewrite.cmi sml.cmi stringfuns.cmi \
    substmapfuns.cmi symbol.cmi termfuns.cmi termparse.cmi termstore.cmi \
    termstring.cmi termtype.cmi selection.cmi 
selection.cmx: answer.cmx cxtfuns.cmx facts.cmx idclass.cmx listfuns.cmx \
    miscellaneous.cmx provisotype.cmx rewrite.cmx sml.cmx stringfuns.cmx \
    substmapfuns.cmx symbol.cmx termfuns.cmx termparse.cmx termstore.cmx \
    termstring.cmx termtype.cmx selection.cmi 
seqdraw.cmo: absprooftree.cmi box.cmi displayclass.cmi draw.cmi listfuns.cmi \
    minwaste.cmi sml.cmi termstring.cmi seqdraw.cmi 
seqdraw.cmx: absprooftree.cmx box.cmx displayclass.cmx draw.cmx listfuns.cmx \
    minwaste.cmx sml.cmx termstring.cmx seqdraw.cmi 
seqtype.cmo: termtype.cmi 
seqtype.cmx: termtype.cmx 
sequent.cmo: idclass.cmi idclassfuns.cmi listfuns.cmi mappingfuns.cmi \
    match.cmi miscellaneous.cmi optionfuns.cmi seqtype.cmo sml.cmi \
    stringfuns.cmi symbol.cmi symboltype.cmo termfuns.cmi termparse.cmi \
    termstore.cmi termstring.cmi termtype.cmi sequent.cmi 
sequent.cmx: idclass.cmx idclassfuns.cmx listfuns.cmx mappingfuns.cmx \
    match.cmx miscellaneous.cmx optionfuns.cmx seqtype.cmx sml.cmx \
    stringfuns.cmx symbol.cmx symboltype.cmx termfuns.cmx termparse.cmx \
    termstore.cmx termstring.cmx termtype.cmx sequent.cmi 
sml.cmo: sml.cmi 
sml.cmx: sml.cmi 
stringfuns.cmo: listfuns.cmi miscellaneous.cmi sml.cmi stringfuns.cmi 
stringfuns.cmx: listfuns.cmx miscellaneous.cmx sml.cmx stringfuns.cmi 
substmapfuns.cmo: answer.cmi facts.cmi listfuns.cmi mappingfuns.cmi \
    miscellaneous.cmi optionfuns.cmi proviso.cmi provisotype.cmo sml.cmi \
    termfuns.cmi termstore.cmi termstring.cmi termtype.cmi substmapfuns.cmi 
substmapfuns.cmx: answer.cmx facts.cmx listfuns.cmx mappingfuns.cmx \
    miscellaneous.cmx optionfuns.cmx proviso.cmx provisotype.cmx sml.cmx \
    termfuns.cmx termstore.cmx termstring.cmx termtype.cmx substmapfuns.cmi 
symbol.cmo: idclass.cmi listfuns.cmi mappingfuns.cmi miscellaneous.cmi \
    optionfuns.cmi prestring.cmi searchtree.cmi sml.cmi stringfuns.cmi \
    symboltype.cmo uTF.cmi symbol.cmi 
symbol.cmx: idclass.cmx listfuns.cmx mappingfuns.cmx miscellaneous.cmx \
    optionfuns.cmx prestring.cmx searchtree.cmx sml.cmx stringfuns.cmx \
    symboltype.cmx uTF.cmx symbol.cmi 
symboltype.cmo: idclass.cmi 
symboltype.cmx: idclass.cmx 
tactic.cmo: idclass.cmi listfuns.cmi match.cmi miscellaneous.cmi name.cmi \
    nametype.cmo optionfuns.cmi sequent.cmi sml.cmi stringfuns.cmi \
    tactictype.cmo termfuns.cmi termstore.cmi termstring.cmi termtype.cmi \
    treelayout.cmi tactic.cmi 
tactic.cmx: idclass.cmx listfuns.cmx match.cmx miscellaneous.cmx name.cmx \
    nametype.cmx optionfuns.cmx sequent.cmx sml.cmx stringfuns.cmx \
    tactictype.cmx termfuns.cmx termstore.cmx termstring.cmx termtype.cmx \
    treelayout.cmx tactic.cmi 
tacticfuns.cmo: alert.cmi applyrule.cmi cache.cmi cxtfuns.cmi cxtstring.cmi \
    cxttype.cmo displaystate.cmo fix.cmi hit.cmi idclass.cmi interaction.cmi \
    japeenv.cmi japeserver.cmi listfuns.cmi mappingfuns.cmi match.cmi \
    miscellaneous.cmi name.cmi optionfuns.cmi oracle.cmi paraparam.cmi \
    proofstate.cmi proofstore.cmi prooftree.cmo proviso.cmi provisofuns.cmi \
    provisotype.cmo reason.cmi rewrite.cmi selection.cmi seqtype.cmo \
    sequent.cmi sml.cmi stringfuns.cmi symbol.cmi symboltype.cmo tactic.cmi \
    tactictype.cmo termfuns.cmi termparse.cmi termstore.cmi termstring.cmi \
    termtype.cmi thing.cmi treeformat.cmo uTF.cmi unify.cmi tacticfuns.cmi 
tacticfuns.cmx: alert.cmx applyrule.cmx cache.cmx cxtfuns.cmx cxtstring.cmx \
    cxttype.cmx displaystate.cmx fix.cmx hit.cmx idclass.cmx interaction.cmx \
    japeenv.cmx japeserver.cmx listfuns.cmx mappingfuns.cmx match.cmx \
    miscellaneous.cmx name.cmx optionfuns.cmx oracle.cmx paraparam.cmx \
    proofstate.cmx proofstore.cmx prooftree.cmx proviso.cmx provisofuns.cmx \
    provisotype.cmx reason.cmx rewrite.cmx selection.cmx seqtype.cmx \
    sequent.cmx sml.cmx stringfuns.cmx symbol.cmx symboltype.cmx tactic.cmx \
    tactictype.cmx termfuns.cmx termparse.cmx termstore.cmx termstring.cmx \
    termtype.cmx thing.cmx treeformat.cmx uTF.cmx unify.cmx tacticfuns.cmi 
tactictype.cmo: nametype.cmo seqtype.cmo termtype.cmi treelayout.cmi 
tactictype.cmx: nametype.cmx seqtype.cmx termtype.cmx treelayout.cmx 
termfold.cmo: box.cmi cache.cmi draw.cmi invisibles.cmi japeserver.cmi \
    listfuns.cmi minwaste.cmi miscellaneous.cmi optionfuns.cmi sml.cmi \
    stringfuns.cmi symboltype.cmo termstring.cmi termtype.cmi text.cmi \
    uTF.cmi termfold.cmi 
termfold.cmx: box.cmx cache.cmx draw.cmx invisibles.cmx japeserver.cmx \
    listfuns.cmx minwaste.cmx miscellaneous.cmx optionfuns.cmx sml.cmx \
    stringfuns.cmx symboltype.cmx termstring.cmx termtype.cmx text.cmx \
    uTF.cmx termfold.cmi 
termfuns.cmo: answer.cmi idclass.cmi idclassfuns.cmi listfuns.cmi \
    mappingfuns.cmi miscellaneous.cmi optionfuns.cmi sml.cmi stringfuns.cmi \
    symbol.cmi symboltype.cmo termstore.cmi termstring.cmi termtype.cmi \
    uTF.cmi termfuns.cmi 
termfuns.cmx: answer.cmx idclass.cmx idclassfuns.cmx listfuns.cmx \
    mappingfuns.cmx miscellaneous.cmx optionfuns.cmx sml.cmx stringfuns.cmx \
    symbol.cmx symboltype.cmx termstore.cmx termstring.cmx termtype.cmx \
    uTF.cmx termfuns.cmi 
termparse.cmo: binding.cmi idclass.cmi idclassfuns.cmi listfuns.cmi \
    miscellaneous.cmi optionfuns.cmi searchtree.cmi stringfuns.cmi symbol.cmi \
    symboltype.cmo termfuns.cmi termstore.cmi termstring.cmi termtype.cmi \
    uTF.cmi termparse.cmi 
termparse.cmx: binding.cmx idclass.cmx idclassfuns.cmx listfuns.cmx \
    miscellaneous.cmx optionfuns.cmx searchtree.cmx stringfuns.cmx symbol.cmx \
    symboltype.cmx termfuns.cmx termstore.cmx termstring.cmx termtype.cmx \
    uTF.cmx termparse.cmi 
termstore.cmo: idclass.cmi optionfuns.cmi sml.cmi stringfuns.cmi \
    termstring.cmi termtype.cmi termstore.cmi 
termstore.cmx: idclass.cmx optionfuns.cmx sml.cmx stringfuns.cmx \
    termstring.cmx termtype.cmx termstore.cmi 
termstring.cmo: idclass.cmi idclassfuns.cmi invisibles.cmi listfuns.cmi \
    mappingfuns.cmi miscellaneous.cmi optionfuns.cmi sml.cmi stringfuns.cmi \
    symbol.cmi symboltype.cmo termtype.cmi uTF.cmi termstring.cmi 
termstring.cmx: idclass.cmx idclassfuns.cmx invisibles.cmx listfuns.cmx \
    mappingfuns.cmx miscellaneous.cmx optionfuns.cmx sml.cmx stringfuns.cmx \
    symbol.cmx symboltype.cmx termtype.cmx uTF.cmx termstring.cmi 
termtype.cmo: idclass.cmi termtype.cmi 
termtype.cmx: idclass.cmx termtype.cmi 
text.cmo: box.cmi displayfont.cmi listfuns.cmi miscellaneous.cmi \
    stringfuns.cmi text.cmi 
text.cmx: box.cmx displayfont.cmx listfuns.cmx miscellaneous.cmx \
    stringfuns.cmx text.cmi 
thing.cmo: cxtfuns.cmi cxtstring.cmi idclass.cmi listfuns.cmi mappingfuns.cmi \
    match.cmi miscellaneous.cmi name.cmi optionfuns.cmi paraparam.cmi \
    predicate.cmi proviso.cmi provisofuns.cmi provisotype.cmo rewrite.cmi \
    seqtype.cmo sequent.cmi sml.cmi stringfuns.cmi symbol.cmi tactic.cmi \
    tactictype.cmo termfuns.cmi termparse.cmi termstore.cmi termstring.cmi \
    termtype.cmi thing.cmi 
thing.cmx: cxtfuns.cmx cxtstring.cmx idclass.cmx listfuns.cmx mappingfuns.cmx \
    match.cmx miscellaneous.cmx name.cmx optionfuns.cmx paraparam.cmx \
    predicate.cmx proviso.cmx provisofuns.cmx provisotype.cmx rewrite.cmx \
    seqtype.cmx sequent.cmx sml.cmx stringfuns.cmx symbol.cmx tactic.cmx \
    tactictype.cmx termfuns.cmx termparse.cmx termstore.cmx termstring.cmx \
    termtype.cmx thing.cmi 
treedraw.cmo: absprooftree.cmi box.cmi displayclass.cmi displayfont.cmi \
    draw.cmi hit.cmi japeserver.cmi listfuns.cmi miscellaneous.cmi \
    optionfuns.cmi seqdraw.cmi sequent.cmi sml.cmi termfuns.cmi \
    termstring.cmi treedraw.cmi 
treedraw.cmx: absprooftree.cmx box.cmx displayclass.cmx displayfont.cmx \
    draw.cmx hit.cmx japeserver.cmx listfuns.cmx miscellaneous.cmx \
    optionfuns.cmx seqdraw.cmx sequent.cmx sml.cmx termfuns.cmx \
    termstring.cmx treedraw.cmi 
treeformat.cmo: listfuns.cmi optionfuns.cmi sml.cmi stringfuns.cmi \
    termfuns.cmi termstore.cmi termtype.cmi treelayout.cmi 
treeformat.cmx: listfuns.cmx optionfuns.cmx sml.cmx stringfuns.cmx \
    termfuns.cmx termstore.cmx termtype.cmx treelayout.cmx 
treelayout.cmo: match.cmi optionfuns.cmi stringfuns.cmi termfuns.cmi \
    termstring.cmi termtype.cmi treelayout.cmi 
treelayout.cmx: match.cmx optionfuns.cmx stringfuns.cmx termfuns.cmx \
    termstring.cmx termtype.cmx treelayout.cmi 
uTF.cmo: listfuns.cmi miscellaneous.cmi sml.cmi stringfuns.cmi uTF.cmi 
uTF.cmx: listfuns.cmx miscellaneous.cmx sml.cmx stringfuns.cmx uTF.cmi 
unify.cmo: answer.cmi cxtfuns.cmi cxtstring.cmi facts.cmi idclass.cmi \
    listfuns.cmi mappingfuns.cmi miscellaneous.cmi optionfuns.cmi proviso.cmi \
    provisofuns.cmi provisotype.cmo rewrite.cmi sml.cmi stringfuns.cmi \
    substmapfuns.cmi symbol.cmi termfuns.cmi termstore.cmi termstring.cmi \
    termtype.cmi unify.cmi 
unify.cmx: answer.cmx cxtfuns.cmx cxtstring.cmx facts.cmx idclass.cmx \
    listfuns.cmx mappingfuns.cmx miscellaneous.cmx optionfuns.cmx proviso.cmx \
    provisofuns.cmx provisotype.cmx rewrite.cmx sml.cmx stringfuns.cmx \
    substmapfuns.cmx symbol.cmx termfuns.cmx termstore.cmx termstring.cmx \
    termtype.cmx unify.cmi 
usefile.cmo: listfuns.cmi miscellaneous.cmi sml.cmi uTF.cmi usefile.cmi 
usefile.cmx: listfuns.cmx miscellaneous.cmx sml.cmx uTF.cmx usefile.cmi 
version.cmo: listfuns.cmi sml.cmi version.cmi 
version.cmx: listfuns.cmx sml.cmx version.cmi 
