Talk:Proof Purger Interface

From Event-B
(Redirected from Talk:Purging Unused Proofs)
Jump to navigationJump to search

User Manual

Shall this page become a part of the Rodin User Manual ? Mathieu 21:50, 11 December 2008 (UTC)