New Proof Rules: Revision history

12 August 2009

• curprev 12:5312:53, 12 August 2009‎ imported>Mathieu‎ m 4,391 bytes +19‎ Category:Proof

30 January 2009

• curprev 10:4310:43, 30 January 2009‎ imported>Laurent‎ m 4,372 bytes +2‎ No edit summary

27 January 2009

• curprev 20:3520:35, 27 January 2009‎ imported>Mathieu‎ m 4,370 bytes +3‎ typo
• curprev 14:0514:05, 27 January 2009‎ imported>Son‎ 4,367 bytes −823‎ No edit summary
• curprev 14:0314:03, 27 January 2009‎ imported>Son‎ 5,190 bytes +442‎ No edit summary

6 January 2009

• curprev 13:3513:35, 6 January 2009‎ imported>Mathieu‎ m 4,748 bytes −7‎ Suppress code block formatting

17 December 2008

• curprev 16:3816:38, 17 December 2008‎ imported>Nicolas‎ m 4,755 bytes +23‎ No edit summary
• curprev 16:3816:38, 17 December 2008‎ imported>Son‎ 4,732 bytes +1‎ No edit summary
• curprev 16:2816:28, 17 December 2008‎ imported>Son‎ 4,731 bytes −1‎ →‎Interactively Rewrite B \subset A
• curprev 16:2816:28, 17 December 2008‎ imported>Son‎ 4,732 bytes −3‎ →‎Automatically Rewrite \dom(f) = S

16 December 2008

• curprev 16:0116:01, 16 December 2008‎ imported>Nicolas‎ 4,735 bytes +4,735‎ New page: This document describes the set of newly added reasoners for improving the usability of the prover within Rodin Platform. The work has been done originally by Stepha Merkli, Michael Schau...