Template:Transformation rules: Revision history

14 October 2025

• curprev 08:3808:38, 14 October 2025 StarButterflyIsCute talk contribs 3,766 bytes −22 Undid revision 1316741054 by 2600:1011:B041:C274:E860:AC88:E9C6:8CD (talk) vandalism undo Tag: Undo
• curprev 06:4106:41, 14 October 2025 2600:1011:b041:c274:e860:ac88:e9c6:8cd talk 3,788 bytes +22 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

31 May 2025

• curprev 22:5722:57, 31 May 2025 Psychastes talk contribs 3,766 bytes +64 add links to transcluded pages per WP:LINKBACK, please remove the template from the associated pages if reverting undo

8 January 2025

• curprev 20:0620:06, 8 January 2025 Tule-hog talk contribs 3,702 bytes +30 add name param undo

6 August 2024

• curprev 08:2708:27, 6 August 2024 Newone talk contribs 3,672 bytes +17 No edit summary undo

21 August 2022

• curprev 07:4107:41, 21 August 2022 Wint7 talk contribs m 3,655 bytes +60 specify section links [lk] undo Tag: 2017 wikitext editor

19 November 2021

• curprev 17:4517:45, 19 November 2021 Andrybak talk contribs 3,595 bytes +67 Category:Mathematics sidebar templates Category:Philosophy and thinking sidebar templates undo

21 September 2021

• curprev 07:0507:05, 21 September 2021 Рассилон talk contribs 3,528 bytes 0 using metatemplate instead of explicit module invokation, inline doc undo

21 June 2021

• curprev 13:1913:19, 21 June 2021 Paradoctor talk contribs 3,528 bytes 0 not a replacement rule, feel free to change my mind undo

6 April 2021

• curprev 23:3423:34, 6 April 2021 Uni3993 talk contribs 3,528 bytes +60 No edit summary undo

20 April 2020

• curprev 18:3818:38, 20 April 2020 Biogeographist talk contribs 3,468 bytes −18 avoid redirects in navboxes, per WP:NAVNOREDIRECT undo

30 July 2018

• curprev 19:4519:45, 30 July 2018 ShakespeareFan00 talk contribs 3,486 bytes +13 Mismatched formatting repaired undo

28 April 2018

• curprev 20:3620:36, 28 April 2018 Omnipaedista talk contribs 3,473 bytes +18 WP:BRINT undo
• curprev 18:2218:22, 28 April 2018 Omnipaedista talk contribs 3,455 bytes +87 add tooltip undo
• curprev 18:1418:14, 28 April 2018 Omnipaedista talk contribs 3,368 bytes −50 material equivalence is a biconditionall logical connective, not a rule of replacement undo
• curprev 15:2515:25, 28 April 2018 Omnipaedista talk contribs 3,418 bytes +31 clarification undo
• curprev 15:0815:08, 28 April 2018 Omnipaedista talk contribs 3,387 bytes 0 as per MOS:CAPS undo

27 March 2017

• curprev 00:3400:34, 27 March 2017 2602:306:3064:a920:2589:eeac:f14a:e382 talk 3,387 bytes −100 I'm sorry. It's been there the whole time. undo
• curprev 00:3200:32, 27 March 2017 2602:306:3064:a920:2589:eeac:f14a:e382 talk 3,487 bytes +92 Added modus ponens undo

2 February 2017

• curprev 19:2319:23, 2 February 2017 Jochen Burghardt talk contribs 3,395 bytes +356 →top: span title: suggest to insert (nb-)spaces around main operators to ease parsing for novices undo
• curprev 19:1719:17, 2 February 2017 Jochen Burghardt talk contribs 3,039 bytes +191 included impl.intro, see Template talk:Transformation rules#Implication introduction rule is missing; moved mod.tol. down to mod.pon.tol.; supplied span title for mod.pon.tol. and bicond.elim. (l.to.r. only, similar to cond.elim.) undo

6 August 2015

• curprev 12:2812:28, 6 August 2015 Alejandrocaro35 talk contribs 2,848 bytes −12 No edit summary undo

10 March 2015

• curprev 09:2909:29, 10 March 2015 Anthony Appleyard talk contribs 2,860 bytes +6 link undo

25 February 2015

• curprev 04:2304:23, 25 February 2015 Arthur Rubin talk contribs 2,854 bytes +8 Material equivalence is not a rule; commenting out, rather than deleting, in case a rule can be found undo

24 February 2015

• curprev 23:2823:28, 24 February 2015 Mr. Stradivarius talk contribs m 2,846 bytes −379 Reverted edits by 195.147.25.84 (talk) to last version by Frietjes undo

21 February 2015

• curprev 18:0818:08, 21 February 2015 195.147.25.84 talk 3,225 bytes +514 embedded and full names undo
• curprev 17:2717:27, 21 February 2015 195.147.25.84 talk 2,711 bytes −135 bit simpler undo

7 February 2015

• curprev 18:5618:56, 7 February 2015 Frietjes talk contribs 2,846 bytes −8 Undid revision 644742647 by Jarble (talk) why? undo

29 January 2015

• curprev 20:1020:10, 29 January 2015 Jarble talk contribs 2,854 bytes +8 disambiguation undo

5 January 2015

• curprev 13:4413:44, 5 January 2015 109.239.84.195 talk 2,846 bytes +15 Updated title of "Material equivalence" so it emboldens properly undo

1 December 2014

• curprev 10:2910:29, 1 December 2014 Wvenialbo talk contribs m 2,831 bytes +9 Matched conjunction introduction with simplification undo
• curprev 10:1610:16, 1 December 2014 Wvenialbo talk contribs m 2,822 bytes +28 Added modus ponendo tollens to rules of inference. Moved Negation introduction to replacement rules since it is an equivalence. undo

28 November 2014

• curprev 16:1716:17, 28 November 2014 Frietjes talk contribs 2,794 bytes −96 No edit summary undo

27 November 2014

• curprev 23:5423:54, 27 November 2014 Sardanaphalus talk contribs 2,890 bytes +426 subsidebar, formatting, category undo

19 October 2014

• curprev 01:2701:27, 19 October 2014 Hyacinth talk contribs 2,464 bytes +38 ==See also== *{{tl|Classical logic}} undo

28 May 2014

• curprev 02:5802:58, 28 May 2014 Jackmcbarn talk contribs m 2,426 bytes −19 cut post-expand include size in half undo

22 March 2014

• curprev 16:5416:54, 22 March 2014 Quondum talk contribs 2,445 bytes −2 missed listify item (<\br> → *) undo
• curprev 16:4516:45, 22 March 2014 Quondum talk contribs 2,447 bytes +81 reintroducing borders to divide sections more clearly undo
• curprev 16:4116:41, 22 March 2014 Quondum talk contribs 2,366 bytes +2 fixing extraneous spacing of lines undo

15 March 2014

• curprev 18:4418:44, 15 March 2014 Matthew Kastor talk contribs 2,364 bytes +50 No edit summary undo

14 August 2013

• curprev 19:3419:34, 14 August 2013 71.236.136.184 talk 2,314 bytes +4 No edit summary undo

11 May 2013

• curprev 22:3622:36, 11 May 2013 76.78.3.61 talk 2,310 bytes +23 No edit summary undo

7 March 2013

• curprev 11:5711:57, 7 March 2013 Thumperward talk contribs 2,287 bytes −169 listify undo

9 August 2012

• curprev 21:1921:19, 9 August 2012 Quondum talk contribs 2,456 bytes +160 Adding a few more popup sequents undo

17 March 2012

• curprev 21:0421:04, 17 March 2012 Vegaswikian talk contribs m 2,296 bytes −23 Link undo

3 March 2012

• curprev 07:5307:53, 3 March 2012 Gregbard talk contribs 2,319 bytes −98 rm odd one undo

27 February 2012

• curprev 20:4020:40, 27 February 2012 Gregbard talk contribs 2,417 bytes +41 fx link undo

26 February 2012

• curprev 21:3121:31, 26 February 2012 Gregbard talk contribs 2,376 bytes +12 new one undo
• curprev 19:5919:59, 26 February 2012 Arthur Rubin talk contribs 2,364 bytes +2 Undid revision 478996862 by Gregbard (talk) mapping "tautology" to [law of identity]] is absurd; perhaps something else will work undo
• curprev 19:4519:45, 26 February 2012 Gregbard talk contribs 2,362 bytes −2 more apt link undo