Commit b81ce7fe authored by MARCHE Claude's avatar MARCHE Claude

update some xml session files

parent e1ff66bb
......@@ -4,8 +4,12 @@
<prover id="alt-ergo" name="Alt-Ergo" version="0.93"/>
<prover id="coq" name="Coq" version="8.2pl1"/>
<prover id="cvc3" name="CVC3" version="2.2"/>
<prover id="eprover" name="Eprover" version="1.0-004 Temi"/>
<prover id="gappa" name="Gappa" version="0.13.0"/>
<prover id="simplify" name="Simplify" version="1.5.4"/>
<prover id="vampire" name="Vampire" version="0.6"/>
<prover id="verit" name="veriT" version="200907"/>
<prover id="yices" name="Yices" version="1.0.11"/>
<prover id="z3" name="Z3" version="2.19"/>
<file name="../my_cosine.why" verified="true" expanded="true">
<theory name="CosineSingle" verified="true" expanded="true">
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment