Rodin Proving Perspective: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Im06r New page: {{Navigation|Previous= The Proof Obligation Explorer|Next= The Mathematical Language... |
imported>Im06r No edit summary |
||
| 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 == | |||
