Set Rewrite Rules: Revision history

9 June 2009

• curprev 08:1308:13, 9 June 2009‎ imported>Nicolas‎ m 28,673 bytes +8‎ Corrected SIMP_SPECIAL_SETMINUS_L

11 May 2009

• curprev 10:1610:16, 11 May 2009‎ imported>Nicolas‎ 28,665 bytes +369‎ No edit summary

10 March 2009

• curprev 10:4110:41, 10 March 2009‎ imported>Laurent‎ 28,296 bytes +154‎ Added rule DEF_FINITE

11 February 2009

• curprev 17:2117:21, 11 February 2009‎ imported>Laurent‎ 28,142 bytes +2‎ Changed EXIST to EXISTS in rule names + changed SIMP_EXISTS_AND into SIMP_EXISTS_OR
• curprev 17:0917:09, 11 February 2009‎ imported>Laurent‎ m 28,140 bytes 0‎ No edit summary
• curprev 16:4616:46, 11 February 2009‎ imported>Laurent‎ 28,140 bytes +534‎ Added star column

30 January 2009

• curprev 10:1810:18, 30 January 2009‎ imported>Frederic‎ 27,606 bytes +405‎ No edit summary

29 January 2009

• curprev 15:3415:34, 29 January 2009‎ imported>Frederic‎ 27,201 bytes +27,201‎ New page: {{RRHeader}} {{RRRow}}|<font size="-2"> SIMP_SPECIAL_AND_BTRUE </font>||<math> P \land \ldots \land \btrue \land \ldots \land Q \;\;\defi\;\; P \land \ldots \land Q </math>|| ...