Commit aa83e636 authored by MARCHE Claude's avatar MARCHE Claude

fix session

parent faeb75b4
......@@ -11,7 +11,7 @@
<transf name="split_goal_wp" expanded="true">
<goal name="WP_parameter my_cosine.1" expl="1. assertion" expanded="true">
<proof prover="0" edited="my_cosine_M_WP_parameter_my_cosine_1.v"><result status="valid" time="3.46"/></proof>
<proof prover="2" edited="my_cosine-M-WP_parameter_my_cosine_1.tptp"><result status="valid" time="0.37"/></proof>
<proof prover="2"><result status="valid" time="0.35"/></proof>
</goal>
<goal name="WP_parameter my_cosine.2" expl="2. precondition" expanded="true">
<proof prover="1"><result status="valid" time="0.00"/></proof>
......
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