Adding Reasoners(How to extend Rodin Tutorial): Revision history

21 September 2021

• curprev 15:4315:43, 21 September 2021‎ Guillaume talk contribs‎ 13,560 bytes −14‎ Antecedent and needed hypotheses were mixed up

5 September 2013

• curprev 14:2114:21, 5 September 2013‎ imported>Tommy‎ m 13,574 bytes +77‎ →‎Conclusion
• curprev 14:1914:19, 5 September 2013‎ imported>Tommy‎ m 13,497 bytes −37‎ →‎Conclusion
• curprev 14:1614:16, 5 September 2013‎ imported>Tommy‎ m 13,534 bytes +58‎ →‎Conclusion
• curprev 14:0914:09, 5 September 2013‎ imported>Tommy‎ m 13,476 bytes −622‎ →‎Step7
• curprev 14:0914:09, 5 September 2013‎ imported>Tommy‎ m 14,098 bytes +186‎ →‎Step6
• curprev 14:0614:06, 5 September 2013‎ imported>Tommy‎ m 13,912 bytes −25‎ →‎Step1
• curprev 14:0514:05, 5 September 2013‎ imported>Tommy‎ m 13,937 bytes +219‎ →‎Step1

16 October 2010

• curprev 16:4716:47, 16 October 2010‎ imported>Tommy‎ m 13,718 bytes −226‎ →‎Step6
• curprev 16:4416:44, 16 October 2010‎ imported>Tommy‎ m 13,944 bytes −1‎ →‎Step5
• curprev 16:4016:40, 16 October 2010‎ imported>Tommy‎ m 13,945 bytes +10‎ →‎Step3 / Exercise
• curprev 16:3916:39, 16 October 2010‎ imported>Tommy‎ m 13,935 bytes +134‎ →‎Step2

12 October 2010

• curprev 13:0813:08, 12 October 2010‎ imported>Tommy‎ m 13,801 bytes +5‎ →‎Conclusion
• curprev 12:5212:52, 12 October 2010‎ imported>Tommy‎ m 13,796 bytes +616‎ →‎Conclusion
• curprev 11:5811:58, 12 October 2010‎ imported>Tommy‎ m 13,180 bytes +177‎ →‎Step7
• curprev 11:5311:53, 12 October 2010‎ imported>Tommy‎ m 13,003 bytes +1,219‎ No edit summary
• curprev 10:1910:19, 12 October 2010‎ imported>Tommy‎ m 11,784 bytes +1,470‎ →‎Step6
• curprev 09:4509:45, 12 October 2010‎ imported>Tommy‎ m 10,314 bytes +619‎ →‎Step5
• curprev 09:3509:35, 12 October 2010‎ imported>Tommy‎ m 9,695 bytes +104‎ →‎Step4
• curprev 09:3109:31, 12 October 2010‎ imported>Tommy‎ m 9,591 bytes +100‎ →‎Step4

11 October 2010

• curprev 17:0817:08, 11 October 2010‎ imported>Tommy‎ m 9,491 bytes +1,230‎ No edit summary
• curprev 16:4616:46, 11 October 2010‎ imported>Tommy‎ m 8,261 bytes +2,807‎ No edit summary
• curprev 15:5615:56, 11 October 2010‎ imported>Tommy‎ m 5,454 bytes +2,070‎ No edit summary
• curprev 11:0311:03, 11 October 2010‎ imported>Tommy‎ m 3,384 bytes +297‎ →‎In this part
• curprev 10:1210:12, 11 October 2010‎ imported>Tommy‎ m 3,087 bytes +4‎ →‎Principles

27 September 2010

• curprev 11:3911:39, 27 September 2010‎ imported>Tommy‎ m 3,083 bytes +375‎ No edit summary

26 September 2010

• curprev 21:4521:45, 26 September 2010‎ imported>Tommy‎ m 2,708 bytes +330‎ No edit summary
• curprev 21:2021:20, 26 September 2010‎ imported>Tommy‎ m 2,378 bytes −1‎ →‎Principles
• curprev 21:1921:19, 26 September 2010‎ imported>Tommy‎ m 2,379 bytes +4‎ →‎Principles
• curprev 21:1821:18, 26 September 2010‎ imported>Tommy‎ m 2,375 bytes +1,777‎ No edit summary

24 September 2010

• curprev 16:1316:13, 24 September 2010‎ imported>Tommy‎ m 598 bytes +598‎ New page: {{Navigation|Previous= Generating the proof obligations | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (...