<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<config version="1">
  <main-window h="806" preferred-size="725,840" w="1431" x="0" y="25">
    <components split1="629" split2="844" split3="573"/>
  </main-window>
<goalstate-panel split1="107" split2="394"/>
<theorems/>
<files>
    <recent info="/mnt/Repository/formal_lp/hypermap/ineqs/lp_main_estimate.vhl;11564;/mnt/Repository/formal_lp/hypermap/ineqs/lp_ineqs_proofs2.vhl;24139;/mnt/Repository/formal_lp/hypermap/ineqs/lp_ineqs_proofs.vhl;101401;/mnt/Repository/text_formalization/tame/ssreflect/tame_lemmas.vhl;29906;/mnt/Repository/text_formalization/tame/ssreflect/KCBLRQC.vhl;36906;/mnt/Repository/text_formalization/tame/ssreflect/MQMSMAB.vhl;3505;/mnt/Repository/formal_ineqs/taylor/theory/taylor_interval.vhl;82347;/mnt/Repository/formal_ineqs/taylor/theory/multivariate_taylor.vhl;81559;"/>
    <current name="/mnt/Repository/formal_ineqs/taylor/theory/multivariate_taylor.vhl" position="81559"/>
  </files>
<editor highlight="false"/>
</config>