Set Rewrite Rules: Revision history

24 August 2010

• curprev 13:0013:00, 24 August 2010‎ imported>Tommy‎ 28,402 bytes −218‎ Undo revision 6764 by Tommy (Talk) as a special page for those rewriting rules shall be opened.
• curprev 12:5312:53, 24 August 2010‎ imported>Tommy‎ 28,620 bytes +218‎ Added Rules for the cond operator (e.g. SIMP_COND_BTRUES, IMP_COND_BFALSE rules)

12 August 2010

• curprev 15:1015:10, 12 August 2010‎ imported>Nicolas‎ m 28,402 bytes 0‎ Updated implementation indication for SIMP_EQUAL_CONSTR, SIMP_EQUAL_CONSTR_DIFF, SIMP_DESTR_CONSTR

6 August 2010

• curprev 11:4511:45, 6 August 2010‎ imported>Nicolas‎ m 28,402 bytes 0‎ corrected implementation for SIMP_EQUAL_CONSTR and SIMP_EQUAL_CONSTR_DIFF and SIMP_DESTR_CONSTR (not implemented yet)
• curprev 11:4311:43, 6 August 2010‎ imported>Nicolas‎ 28,402 bytes +865‎ No edit summary

11 June 2010

• curprev 16:0016:00, 11 June 2010‎ imported>Nicolas‎ 27,537 bytes +2‎ No edit summary

31 May 2010

• curprev 15:3915:39, 31 May 2010‎ imported>Tommy‎ 27,535 bytes −714‎ Moved rules FUNIMG_SET_DOMSUB and FUNIMG_DOMSUB to Relational Rewrite Rules now known as SIMP_DOMSUB

18 May 2010

• curprev 15:2715:27, 18 May 2010‎ imported>Tommy‎ m 28,249 bytes −4‎ No edit summary

28 April 2010

• curprev 14:0814:08, 28 April 2010‎ imported>Tommy‎ 28,253 bytes +718‎ Added conditionnal rules FUNIMG_SET_DOMSUB_L and FUNIMG_DOMSUB_L

27 January 2010

• curprev 07:3207:32, 27 January 2010‎ imported>Laurent‎ 27,535 bytes +9‎ Removed rules SIMP_SUBSET_BUNION and SIMP_SUBSET_BINTER which where wrong.

26 January 2010

• curprev 19:0519:05, 26 January 2010‎ imported>Wohuai‎ 27,526 bytes −1‎ No edit summary

25 January 2010

• curprev 23:5323:53, 25 January 2010‎ imported>Laurent‎ 27,527 bytes +64‎ Fixed rules DEF_IN_KUNION, DEF_IN_KINTER, DEF_IN_QUNION and DEF_IN_QINTER.
• curprev 23:4023:40, 25 January 2010‎ imported>Laurent‎ 27,463 bytes +69‎ Added side condition to DEF_SUBSETEQ
• curprev 23:3623:36, 25 January 2010‎ imported>Laurent‎ 27,394 bytes +50‎ Added side condition to DEF_SPECIAL_NOT_EQUAL
• curprev 23:3323:33, 25 January 2010‎ imported>Laurent‎ 27,344 bytes +76‎ Commented out rules SIMP_FINITE_*
• curprev 23:2723:27, 25 January 2010‎ imported>Laurent‎ 27,268 bytes −237‎ Removed SIMP_MULTI_OVERL which is a relation rewrite rule.
• curprev 23:2523:25, 25 January 2010‎ imported>Laurent‎ 27,505 bytes −3‎ Simplified side-condition of SIMP_SUBSETEQ_COMPSET_R
• curprev 23:1923:19, 25 January 2010‎ imported>Laurent‎ 27,508 bytes +88‎ Added side condition to SIMP_IN_COMPSET
• curprev 21:3921:39, 25 January 2010‎ imported>Laurent‎ 27,420 bytes −12‎ Made SIMP_SUBSETEQ_COMPSET_L more general by renaming the quantified variable.
• curprev 21:3021:30, 25 January 2010‎ imported>Laurent‎ 27,432 bytes +158‎ Added side condition to SIMP_FORALL and SIMP_EXISTS

21 December 2009

• curprev 11:0311:03, 21 December 2009‎ imported>Tommy‎ m 27,274 bytes −1‎ removed * on unimplemented rules - 2nd pass
• curprev 10:1710:17, 21 December 2009‎ imported>Tommy‎ m 27,275 bytes −59‎ removed * on unimplemented rules

23 November 2009

• curprev 09:5409:54, 23 November 2009‎ imported>Nicolas‎ m 27,334 bytes +57‎ updated rule SIMP_FINITE_ID to math V2

17 August 2009

• curprev 12:5312:53, 17 August 2009‎ imported>Nicolas‎ m 27,277 bytes +134‎ added DEF_IN_POW1

30 July 2009

• curprev 14:5614:56, 30 July 2009‎ imported>Nicolas‎ m 27,143 bytes +109‎ renamed SIMP_IN_COMPSET into SIMP_IN_COMPSET_ONEPOINT and SIMP_IN_COMPSET_GENERAL into SIMP_IN_COMPSET

10 July 2009

• curprev 14:5414:54, 10 July 2009‎ imported>Nicolas‎ m 27,034 bytes −324‎ moved SUBST_FORALL_AND to inference rules ONE_POINT_L and ONE_POINT_R

8 July 2009

• curprev 10:2910:29, 8 July 2009‎ imported>Laurent‎ m 27,358 bytes −2,206‎ Fixed rule names to make them easy to extract

1 July 2009

• curprev 08:2108:21, 1 July 2009‎ imported>Nicolas‎ m 29,564 bytes +233‎ Added SIMP_IN_COMPSET_GENERAL

24 June 2009

• curprev 17:4117:41, 24 June 2009‎ imported>Nicolas‎ m 29,331 bytes +132‎ added DEF_IN_UPTO

23 June 2009

• curprev 14:2414:24, 23 June 2009‎ imported>Nicolas‎ m 29,199 bytes +336‎ added SUBST_FORALL_AND

15 June 2009

• curprev 09:1709:17, 15 June 2009‎ imported>Nicolas‎ m 28,863 bytes +8‎ clarified SIMP_MULTI_BUNION

12 June 2009

• curprev 16:1316:13, 12 June 2009‎ imported>Nicolas‎ m 28,855 bytes +137‎ added DEF_SUBSET

11 June 2009

• curprev 15:3015:30, 11 June 2009‎ imported>Laurent‎ m 28,718 bytes +16‎ Fixed DEF_PARTITION

9 June 2009

• curprev 11:0311:03, 9 June 2009‎ imported>Nicolas‎ m 28,702 bytes 0‎ Corrected DERIV_NOT_IMP
• curprev 10:4710:47, 9 June 2009‎ imported>Nicolas‎ m 28,702 bytes +29‎ Corrected DEF_SUBSETEQ: added left part of the definition
• 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>|| ...