-
François Bobot authored
have too complicated semantics. why3session should do the job. Revert "Why3 replayer: add option remove_converted" This reverts commit f188489a. Revert "replay remove converted external proof" This reverts commit c2887483. Conflicts: src/session/session_tools.ml
c35f496f