Difference between revisions of "Rodin Proving Perspective"
From Event-B
Jump to navigationJump to searchimported>Im06r (New page: {{Navigation|Previous= The Proof Obligation Explorer|Next= The Mathematical Language...) |
imported>Im06r |
||
Line 1: | Line 1: | ||
{{Navigation|Previous= [[The_Proof_Obligation_Explorer_(Rodin_User_Manual)|The Proof Obligation Explorer]]|Next= [[The_Mathematical_Language_(Rodin_User_Manual)|The Mathematical Language]]|Up= [[index_(Rodin_User_Manual)|User_Manual_index]]}} | {{Navigation|Previous= [[The_Proof_Obligation_Explorer_(Rodin_User_Manual)|The Proof Obligation Explorer]]|Next= [[The_Mathematical_Language_(Rodin_User_Manual)|The Mathematical Language]]|Up= [[index_(Rodin_User_Manual)|User_Manual_index]]}} | ||
{{TOCright}} | {{TOCright}} | ||
+ | |||
+ | == Loading a Proof == |
Revision as of 17:06, 9 March 2010
Contents |