Conflicts:
	examples/fibonacci.mlw
	examples/fibonacci/why3session.xml
	examples/fibonacci/why3shapes.gz
	examples/koda_ruskey/why3session.xml
	examples/koda_ruskey/why3shapes.gz
	examples/schorr_waite_via_recursion/why3session.xml
	examples/schorr_waite_via_recursion/why3shapes.gz
	examples/tests-provers/bv/why3session.xml
	examples/tests-provers/bv/why3shapes.gz
	examples/tests-provers/ieee_float/why3session.xml
	examples/tree_of_array/why3session.xml
	examples/tree_of_array/why3shapes.gz
	examples/vstte12_bfs/why3session.xml
	examples/vstte12_bfs/why3shapes.gz
	theories/int.why
	theories/real.why