User Manual of the RODIN Platform
User Manual of the RODIN Platform
User Manual of the RODIN Platform
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3.3.2 Direct Editing <strong>of</strong> Invariants.<br />
It is also possible to create (button ”Add”) or remove (button ”Delete”) invariants by using <strong>the</strong> central<br />
editing window. For this, you have first to select <strong>the</strong> ”Invariants” tab <strong>of</strong> <strong>the</strong> editor. You can also change<br />
<strong>the</strong> relative place <strong>of</strong> an invariant: first select it and <strong>the</strong>n press button ”Up” or ”Down”.<br />
3.4 Theorems<br />
3.4.1 Theorems Creation Wizard.<br />
In order to activate <strong>the</strong> <strong>the</strong>orems creation wizard, you have to press <strong>the</strong> corresponding button:<br />
After pressing that button, <strong>the</strong> following wizard pops up:<br />
20