-
MARCHE Claude authored
# Conflicts: # examples/logic/einstein/why3session.xml # examples/tests-provers/div/why3session.xml # src/driver/whyconf.ml
24e35c79
# Conflicts: # examples/logic/einstein/why3session.xml # examples/tests-provers/div/why3session.xml # src/driver/whyconf.ml