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