why3session.xml 789 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
<why3session
 name="13849/why3session.xml">
 <prover
  id="0"
  name="Coq"
MARCHE Claude's avatar
MARCHE Claude committed
8
  version="8.2pl2"/>
MARCHE Claude's avatar
MARCHE Claude committed
9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
 <file
  name="../13849.why"
  verified="false"
  expanded="true">
  <theory
   name="T"
   locfile="13849/../13849.why"
   loclnum="4" loccnumb="7" loccnume="8"
   verified="false"
   expanded="true">
   <goal
    name="x"
    locfile="13849/../13849.why"
    loclnum="19" loccnumb="6" loccnume="7"
    sum="15dd0a14b365705789dc555517dcc6cd"
    proved="false"
    expanded="true"
    shape="ainfix =ab1ab2">
    <proof
     prover="0"
MARCHE Claude's avatar
MARCHE Claude committed
29
     timelimit="10"
MARCHE Claude's avatar
MARCHE Claude committed
30 31 32 33 34 35 36 37 38
     edited="13849_T_x_1.v"
     obsolete="true"
     archived="false"><unedited/>
     
    </proof>
   </goal>
  </theory>
 </file>
</why3session>