why3session.xml 685 Bytes
Newer Older
1 2 3 4
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
<why3session shape_version="4">
Sylvain Dailler's avatar
Sylvain Dailler committed
5
<file name="../14_simpl.mlw">
6
<theory name="Test" sum="58230ee4a7c9ed66f332d211cf0d40a1">
Sylvain Dailler's avatar
Sylvain Dailler committed
7
 <goal name="g10">
8 9 10 11 12 13 14 15 16 17
 <transf name="step" arg1="in" arg2="g10">
  <goal name="g10.0">
  <transf name="step" arg1="in" arg2="g10">
   <goal name="g10.0.0">
   </goal>
  </transf>
  </goal>
 </transf>
 </goal>
 <goal name="g11" proved="true">
Sylvain Dailler's avatar
Sylvain Dailler committed
18
 <transf name="step" proved="true" >
19
  <goal name="g11.0" proved="true">
Sylvain Dailler's avatar
Sylvain Dailler committed
20
  <transf name="step" proved="true" >
21 22 23 24 25 26 27
  </transf>
  </goal>
 </transf>
 </goal>
</theory>
</file>
</why3session>