Relation Rewrite Rules: Revision history

26 August 2010

• curprev 16:0616:06, 26 August 2010‎ imported>Laurent‎ 30,653 bytes −264‎ Removed duplicate rules

1 June 2010

• curprev 09:4909:49, 1 June 2010‎ imported>Laurent‎ m 30,917 bytes +28‎ Added spacing around "op"
• curprev 07:2307:23, 1 June 2010‎ imported>Son‎ m 30,889 bytes 0‎ No edit summary

31 May 2010

• curprev 15:5815:58, 31 May 2010‎ imported>Tommy‎ 30,889 bytes +1,783‎ Added conditional Rules SIMP_FUNIMAGE_DOMRES, SIMP_FUNIMAGE_DOMSUB, SIMP_FUNIMAGE_RANRES, SIMP_FUNIMAGE_RANSUB and SIMP_FUNIMAGE_SETMINUS.

15 January 2010

• curprev 11:1711:17, 15 January 2010‎ imported>Tommy‎ m 29,106 bytes 0‎ Fixed rules DISTRI_DOMSUB_BUNION_L, DISTRI_DOMSUB_BINTER_L, DISTRI_RANSUB_BUNION_R and DISTRI_RANSUB_BINTER_R in r8061

7 January 2010

• curprev 15:4315:43, 7 January 2010‎ imported>Wohuai‎ m 29,106 bytes +49‎ No edit summary
• curprev 15:2315:23, 7 January 2010‎ imported>Wohuai‎ m 29,057 bytes +9‎ No edit summary

21 December 2009

• curprev 11:1211:12, 21 December 2009‎ imported>Tommy‎ m 29,048 bytes −2‎ removed * on unimplemented rules - 2nd pass
• curprev 10:4510:45, 21 December 2009‎ imported>Tommy‎ m 29,050 bytes −92‎ removed * on unimplemented rules

18 December 2009

• curprev 23:1123:11, 18 December 2009‎ imported>Laurent‎ 29,142 bytes −5‎ Fixed broken rules DISTRI_DOMSUB_BUNION_L, DISTRI_DOMSUB_BINTER_L, DISTRI_RANSUB_BUNION_R and DISTRI_RANSUB_BINTER_R
• curprev 22:5022:50, 18 December 2009‎ imported>Laurent‎ 29,147 bytes 0‎ Fixed rule DISTRI_BCOMP_BUNION
• curprev 11:1711:17, 18 December 2009‎ imported>Laurent‎ 29,147 bytes 0‎ Fixed rule DEF_IN_SURJ
• curprev 11:1411:14, 18 December 2009‎ imported>Laurent‎ 29,147 bytes 0‎ Fixed rule DEF_IN_RELRAN
• curprev 11:1211:12, 18 December 2009‎ imported>Laurent‎ 29,147 bytes −30‎ Fixed rules SIMP_MULTI_OVERL and SIMP_CONVERSE_COMPSET

23 November 2009

• curprev 16:2816:28, 23 November 2009‎ imported>Nicolas‎ m 29,177 bytes +16‎ updated rule SIMP_DOMSUB_ID to math V2
• curprev 15:5915:59, 23 November 2009‎ imported>Nicolas‎ m 29,161 bytes +16‎ updated rule SIMP_DOMRES_ID to math V2
• curprev 15:5615:56, 23 November 2009‎ imported>Nicolas‎ m 29,145 bytes +5‎ updated rule DERIV_ID_SING to math V2
• curprev 15:5015:50, 23 November 2009‎ imported>Nicolas‎ m 29,140 bytes +10‎ updated rules SIMP_SPECIAL_PRJ1;SIMP_SPECIAL_PRJ2 to math V2
• curprev 15:4515:45, 23 November 2009‎ imported>Nicolas‎ m 29,130 bytes +14‎ updated rules SIMP_FCOMP_ID_L;SIMP_FCOMP_ID_R to math V2
• curprev 14:5914:59, 23 November 2009‎ imported>Nicolas‎ m 29,116 bytes +4‎ updated rule SIMP_SPECIAL_ID to math V2
• curprev 14:5614:56, 23 November 2009‎ imported>Nicolas‎ m 29,112 bytes +8‎ updated rule SIMP_RELIMAGE_ID to math V2
• curprev 14:5414:54, 23 November 2009‎ imported>Nicolas‎ m 29,104 bytes +17‎ updated rule SIMP_BCOMP_ID to math V2
• curprev 14:5114:51, 23 November 2009‎ imported>Nicolas‎ m 29,087 bytes +20‎ updated rule SIMP_FCOMP_ID to math V2
• curprev 14:4914:49, 23 November 2009‎ imported>Nicolas‎ m 29,067 bytes +16‎ updated rule SIMP_RANSUB_ID to math V2
• curprev 14:0414:04, 23 November 2009‎ imported>Nicolas‎ m 29,051 bytes +16‎ updated SIMP_RANRES_ID to math V2
• curprev 11:0311:03, 23 November 2009‎ imported>Nicolas‎ m 29,035 bytes −20‎ updated rule DEF_IN_ID to math V2
• curprev 10:5810:58, 23 November 2009‎ imported>Nicolas‎ m 29,055 bytes −3‎ updated rule SIMP_FUNIMAGE_ID to math V2
• curprev 10:5510:55, 23 November 2009‎ imported>Nicolas‎ m 29,058 bytes +283‎ updated rules SIMP_DOM_PRJ1; SIMP_DOM_PRJ2; SIMP_RAN_PRJ1; SIMP_RAN_PRJ2 to math V2
• curprev 10:4110:41, 23 November 2009‎ imported>Nicolas‎ m 28,775 bytes −6‎ updated rules SIMP_FUNIMAGE_PRJ1 AND SIMP_FUNIMAGE_PRJ2 to math V2
• curprev 10:3410:34, 23 November 2009‎ imported>Nicolas‎ m 28,781 bytes +114‎ updated SIMP_DOM_ID and SIMP_RAN_ID to math language V2
• curprev 10:3210:32, 23 November 2009‎ imported>Nicolas‎ m 28,667 bytes −8‎ updated rule SIMP_CONVERSE_ID to math V2
• curprev 10:2410:24, 23 November 2009‎ imported>Nicolas‎ m 28,675 bytes −66‎ updated rule SIMP_RELIMAGE_ID to math V2
• curprev 10:2010:20, 23 November 2009‎ imported>Nicolas‎ m 28,741 bytes −66‎ updated rule SIMP_TYPE_BCOMP_ID to math V2
• curprev 10:1810:18, 23 November 2009‎ imported>Nicolas‎ m 28,807 bytes −66‎ updated rule SIMP_TYPE_FCOMP_ID to math V2

27 October 2009

• curprev 15:4715:47, 27 October 2009‎ imported>Wohuai‎ 28,873 bytes +692‎ No edit summary

8 October 2009

• curprev 12:1512:15, 8 October 2009‎ imported>Nicolas‎ m 28,181 bytes +7‎ corrected DERIV_RAN_SURJREL: added operator partial surjection

7 October 2009

• curprev 17:1917:19, 7 October 2009‎ imported>Nicolas‎ m 28,174 bytes +229‎ Added DERIV_RAN_SURJREL
• curprev 17:1417:14, 7 October 2009‎ imported>Nicolas‎ m 27,945 bytes +245‎ added DERIV_DOM_TOTALREL

8 July 2009

• curprev 10:3110:31, 8 July 2009‎ imported>Laurent‎ m 27,700 bytes −2,240‎ Fixed rule names to make them easy to extract

3 July 2009

• curprev 08:5108:51, 3 July 2009‎ imported>Laurent‎ 29,940 bytes +126‎ Put back rule SIMP_FUNIMAGE_CONVERSE_FUNIMAGE
• curprev 06:5906:59, 3 July 2009‎ imported>Laurent‎ m 29,814 bytes +52‎ No edit summary

23 June 2009

• curprev 13:5613:56, 23 June 2009‎ imported>Nicolas‎ m 29,762 bytes +199‎ added SIMP_FUNIMAGE_FUNIMAGE_CONVERSE_SETENUM

11 June 2009

• curprev 15:4015:40, 11 June 2009‎ imported>Laurent‎ 29,563 bytes −126‎ Removed SIMP_FUNIMAGE_CONVERSE_FUNIMAGE which was wrong

9 June 2009

• curprev 10:0310:03, 9 June 2009‎ imported>Nicolas‎ m 29,689 bytes −4‎ Corrected DISTRI_RANRES_BUNION_R; DISTRI_RANRES_BINTER_R; DISTRI_RANRES_SETMINUS_R
• curprev 08:2508:25, 9 June 2009‎ imported>Nicolas‎ m 29,693 bytes +5‎ Corrected SIMP_FUNIMAGE_CONVERSE_FUNIMAGE

11 February 2009

• curprev 17:0817:08, 11 February 2009‎ imported>Laurent‎ m 29,688 bytes 0‎ No edit summary
• curprev 17:0317:03, 11 February 2009‎ imported>Laurent‎ 29,688 bytes +558‎ Added star column

30 January 2009

• curprev 10:1310:13, 30 January 2009‎ imported>Frederic‎ 29,130 bytes −287‎ No edit summary
• curprev 10:0810:08, 30 January 2009‎ imported>Frederic‎ 29,417 bytes +380‎ No edit summary

29 January 2009

• curprev 15:3715:37, 29 January 2009‎ imported>Frederic‎ 29,037 bytes +29,037‎ New page: {{RRHeader}} {{RRRow}}|<font size="-2"> SIMP_DOM_COMPSET </font>||<math> \dom (\{ x \mapsto a, \ldots , y \mapsto b\} ) \;\;\defi\;\; \{ x, \ldots , y\} </math>|| || A {{RRRow}}|<fon...