Commit 0304fe4b authored by François Bobot's avatar François Bobot

[Session] fix wh3session.dtd fix examples/vstte12_bfs/why3session.xml

parent c9edc320
......@@ -1508,352 +1508,352 @@
name="remove_logic">
<meta_arg_ls
id="10"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="203"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="204"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="205"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="208"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1305"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1306"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1307"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1355"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="1375"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2508"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2511"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2550"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2552"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2562"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2568"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2573"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2583"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2590"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2597"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2609"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="2613"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="3440"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="3516"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="3818"/>
</meta_args>
</meta>
<meta
name="remove_logic">
<meta_arg_ls
id="3877"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1308"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1315"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1318"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1321"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1324"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1327"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1332"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1339"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1346"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1364"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1369"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1372"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1384"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1387"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1394"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1399"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1404"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1405"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="1412"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2522"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2540"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2543"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2559"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2560"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2563"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2574"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2579"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2584"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2591"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2598"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2604"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2610"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2615"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2618"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2621"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2626"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2631"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="2636"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="3460"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="3467"/>
</meta_args>
</meta>
<meta
name="remove_prop">
<meta_arg_pr
id="3476"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="2"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="3510"/>
</meta_args>
</meta>
<meta
name="remove_type">
<meta_arg_ts
id="3697"/>
</meta_args>
</meta>
<goal
name="WP_parameter bfs.5.1.1.5"
locfile="../vstte12_bfs.mlw"
......
......@@ -55,7 +55,7 @@
<!ELEMENT label EMPTY>
<!ATTLIST label name CDATA #REQUIRED>
<!ELEMENT metas (ts_pos*,ls_pos*,pr_pos*,meta_args*,goal)>
<!ELEMENT metas (ts_pos*,ls_pos*,pr_pos*,meta*,goal)>
<!ATTLIST metas proved CDATA #REQUIRED>
<!ATTLIST metas expanded CDATA #IMPLIED>
......@@ -93,17 +93,17 @@
<!ELEMENT ty_app (ty_var*,ty_app*)>
<!ATTLIST ty_app id CDATA #REQUIRED>
<!ELEMENT meta_args_ts EMPTY>
<!ATTLIST meta_args_ts id CDATA #REQUIRED>
<!ELEMENT meta_arg_ts EMPTY>
<!ATTLIST meta_arg_ts id CDATA #REQUIRED>
<!ELEMENT meta_args_ls EMPTY>
<!ATTLIST meta_args_ls id CDATA #REQUIRED>
<!ELEMENT meta_arg_ls EMPTY>
<!ATTLIST meta_arg_ls id CDATA #REQUIRED>
<!ELEMENT meta_args_pr EMPTY>
<!ATTLIST meta_args_pr id CDATA #REQUIRED>
<!ELEMENT meta_arg_pr EMPTY>
<!ATTLIST meta_arg_pr id CDATA #REQUIRED>
<!ELEMENT meta_args_str EMPTY>
<!ATTLIST meta_args_str val CDATA #REQUIRED>
<!ELEMENT meta_arg_str EMPTY>
<!ATTLIST meta_arg_str val CDATA #REQUIRED>
<!ELEMENT meta_args_int EMPTY>
<!ATTLIST meta_args_int val CDATA #REQUIRED>
<!ELEMENT meta_arg_int EMPTY>
<!ATTLIST meta_arg_int val CDATA #REQUIRED>
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