Set Rewrite Rules: Revision history

6 December 2010

• curprev 18:3318:33, 6 December 2010‎ imported>Laurent‎ 28,685 bytes −6‎ Generalized rule SIMP_FINITE_LAMBDA

3 December 2010

• curprev 14:4914:49, 3 December 2010‎ imported>Laurent‎ 28,691 bytes +181‎ Added rules SIMP_FINITE_UNION and SIMP_FINITE_QUNION

2 December 2010

• curprev 10:1910:19, 2 December 2010‎ imported>Benoit‎ 28,510 bytes −195‎ No edit summary

10 November 2010

• curprev 12:3212:32, 10 November 2010‎ imported>Laurent‎ m 28,705 bytes −1‎ No edit summary
• curprev 08:4908:49, 10 November 2010‎ imported>Laurent‎ m 28,706 bytes +866‎ No edit summary

27 October 2010

• curprev 13:1313:13, 27 October 2010‎ imported>Laurent‎ 27,840 bytes −370‎ Removed rules about overriding which belong to set rewrite.
• curprev 13:0913:09, 27 October 2010‎ imported>Laurent‎ 28,210 bytes −506‎ Removed rules SIMP_SPECIAL_FORALL_BTRUE, SIMP_SPECIAL_FORALL_BFALSE, SIMP_SPECIAL_EXISTS_BTRUE, and SIMP_SPECIAL_EXISTS_BFALSE which are subsumed by SIMP_FORALL and SIMP_EXISTS respectively.
• curprev 13:0113:01, 27 October 2010‎ imported>Laurent‎ 28,716 bytes +10‎ Proposed improvement to SIMP_TYPE_OVERL_CPROD
• curprev 12:5112:51, 27 October 2010‎ imported>Laurent‎ 28,706 bytes 0‎ Proposed improvement to SIMP_SPECIAL_COMPSET_BFALSE
• curprev 12:2612:26, 27 October 2010‎ imported>Laurent‎ 28,706 bytes +112‎ Added rule SIMP_KINTER_POW (needs checking)
• curprev 10:2410:24, 27 October 2010‎ imported>Laurent‎ 28,594 bytes +2‎ Marked rules SIMP_FORALL and SIMP_EXISTS as implemented
• curprev 09:4609:46, 27 October 2010‎ imported>Laurent‎ 28,592 bytes −123‎ Removed rule SIMP_MULTI_EQV_NOT_NOT which is subsumed by SIMP_MULTI_EQV.
• curprev 09:4209:42, 27 October 2010‎ imported>Laurent‎ m 28,715 bytes +4‎ Marked rules SIMP_MULTI_AND, SIMP_MULTI_AND_NOT, SIMP_MULTI_OR, and SIMP_MULTI_OR_NOT as implemented

17 September 2010

• curprev 13:2313:23, 17 September 2010‎ imported>Laurent‎ m 28,711 bytes 0‎ Fixed typo

30 August 2010

• curprev 12:1612:16, 30 August 2010‎ imported>Wohuai‎ m 28,711 bytes +309‎ No edit summary

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