Commit b14f084c authored by MARCHE Claude's avatar MARCHE Claude

A bit of cleaning

parent d10127ff
......@@ -95,7 +95,7 @@ why3.conf
/doc/bnf.ml
/doc/*_bnf.tex
/doc/apidoc.tex
/doc/apidoc/*.html
/doc/apidoc/
# /share/
/share/provers-detection-data.conf
......
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
<why3session name="12934/why3session.xml">
<file name="../12934.why" verified="true" expanded="true">
<theory name="BTS12934" verified="true" expanded="true">
<goal name="t" sum="2a75f435f1e835d059a51d852869927a" proved="true" expanded="true">
<proof prover="coq" timelimit="10" edited="" obsolete="false">
<result status="valid" time="0.41"/>
</proof>
</goal>
</theory>
</file>
</why3session>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment