All Rewrite Rules: Revision history

26 April 2013

• curprev 13:2913:29, 26 April 2013‎ imported>Laurent‎ 739 bytes +62‎ Add Empty Set Rewrite Rules

10 September 2010

• curprev 12:5612:56, 10 September 2010‎ imported>Nicolas‎ m 677 bytes −4‎ FIxed link to Extension Proof Rules

3 September 2010

• curprev 17:1217:12, 3 September 2010‎ imported>Nicolas‎ m 681 bytes +62‎ added section for extension rewrite rules

4 August 2010

• curprev 16:3716:37, 4 August 2010‎ imported>Pascal‎ 619 bytes +129‎ CAUTION! Any modification to this page shall be announced on the User mailing list!

8 January 2010

• curprev 13:4513:45, 8 January 2010‎ imported>Laurent‎ 490 bytes +8‎ Moved links for edition before each table.

11 February 2009

• curprev 16:1516:15, 11 February 2009‎ imported>Laurent‎ m 482 bytes +117‎ No edit summary
• curprev 16:1016:10, 11 February 2009‎ imported>Laurent‎ m 365 bytes +283‎ Added header

29 January 2009

• curprev 15:3915:39, 29 January 2009‎ imported>Frederic‎ 82 bytes +82‎ New page: {{:Set Rewrite Rules}} {{:Relation Rewrite Rules}} {{:Arithmetic Rewrite Rules}}