Information for "Rule-based Prover Plug-in"

From Event-B
Jump to: navigation, search

Basic information

Display titleRule-based Prover Plug-in
Default sort keyRule-based Prover Plug-in
Page length (in bytes)2,450
Page ID913
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorIm06r (talk | contribs)
Date of page creation20:12, 26 November 2009
Latest editorIm06r (talk | contribs)
Date of latest edit17:11, 9 July 2010
Total number of edits23
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0