https://wiki.event-b.org/index.php?action=history&feed=atom&title=Sequent_Prover_User_GuideSequent Prover User Guide - Revision history2026-05-25T07:09:12ZRevision history for this page on the wikiMediaWiki 1.42.1https://wiki.event-b.org/index.php?title=Sequent_Prover_User_Guide&diff=9303&oldid=previmported>Pascal: Sequent Prover User Guide moved to Sequent Prover Developer Guide2010-02-19T10:27:28Z<p><a href="/index.php/Sequent_Prover_User_Guide" class="mw-redirect" title="Sequent Prover User Guide">Sequent Prover User Guide</a> moved to <a href="/index.php/Sequent_Prover_Developer_Guide" title="Sequent Prover Developer Guide">Sequent Prover Developer Guide</a></p>
<p><b>New page</b></p><div>#REDIRECT [[Sequent Prover Developer Guide]]</div>imported>Pascal