Information for "New Proof Rules"

From Event-B
Jump to: navigation, search

Basic information

Display titleNew Proof Rules
Default sort keyNew Proof Rules
Page length (in bytes)4,391
Page ID557
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 creatorNicolas (talk | contribs)
Date of page creation17:01, 16 December 2008
Latest editorMathieu (talk | contribs)
Date of latest edit13:53, 12 August 2009
Total number of edits11
Total number of distinct authors4
Recent number of edits (within past 90 days)0
Recent number of distinct authors0