Proof procedure: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 20:3120:31, 28 June 2024‎ CatSkald talk contribs‎ m 1,577 bytes +65‎ Add short description and remove redundant see also. undo Tag: Visual edit

curprev 19:1419:14, 16 October 2023‎ 2a02:1812:110c:dc00:b986:5d5e:97f8:8b78 talk‎ 1,512 bytes +42‎ No edit summary undo

curprev 04:4204:42, 26 November 2014‎ Brirush talk contribs‎ m 1,470 bytes +32‎ No edit summary undo
curprev 04:3804:38, 26 November 2014‎ Brirush talk contribs‎ m 1,438 bytes +49‎ No edit summary undo

curprev 02:0902:09, 18 August 2011‎ Gamewizard71 talk contribs‎ 1,389 bytes −19‎ removed Category:Logic using HotCat undo

curprev 03:2403:24, 10 July 2010‎ Radagast3 talk contribs‎ 1,408 bytes +20‎ →‎See also undo
curprev 01:5601:56, 10 July 2010‎ Radagast3 talk contribs‎ 1,388 bytes −23‎ →‎See also: page is a redirect undo

curprev 12:0512:05, 9 July 2010‎ VanishedUserABC talk contribs‎ 1,411 bytes +23‎ →‎See also undo

curprev 20:3420:34, 4 September 2009‎ Proof Theorist talk contribs‎ 1,388 bytes +4‎ link undo

curprev 06:3806:38, 6 August 2009‎ Mild Bill Hiccup talk contribs‎ m 1,384 bytes 0‎ spelling undo

curprev 07:4507:45, 15 April 2009‎ Chalst talk contribs‎ m 1,384 bytes −15‎ fix ln undo

curprev 21:5521:55, 5 June 2008‎ SmackBot talk contribs‎ m 1,399 bytes +14‎ Date the maintenance tags or general fixes undo
curprev 09:2009:20, 5 June 2008‎ Lambiam talk contribs‎ 1,385 bytes −206‎ confusion between proof ''procedure'' and proof ''calculus'' undo

curprev 09:2809:28, 7 March 2008‎ Lambiam talk contribs‎ m 1,591 bytes +2‎ fix2 undo
curprev 09:2709:27, 7 March 2008‎ Lambiam talk contribs‎ m 1,589 bytes +30‎ wikilink undo

curprev 20:4120:41, 7 February 2008‎ Gregbard talk contribs‎ m 1,559 bytes −3‎ →‎See also: renamed undo

curprev 04:0104:01, 30 January 2008‎ Gregbard talk contribs‎ m 1,562 bytes +26‎ →‎See also: d.a. undo

curprev 14:1114:11, 21 July 2007‎ CBM talk contribs‎ 1,536 bytes −4‎ →‎See also: switch stub type undo

curprev 02:0102:01, 8 May 2007‎ Jleedev talk contribs‎ m 1,540 bytes +4‎ No edit summary undo

curprev 13:2113:21, 1 February 2007‎ Jpbowen talk contribs‎ m 1,536 bytes +2‎ Minor typo changes undo
curprev 13:1913:19, 1 February 2007‎ Jpbowen talk contribs‎ m 1,534 bytes +5‎ Minor tidying undo
curprev 13:1813:18, 1 February 2007‎ Jpbowen talk contribs‎ m 1,529 bytes +21‎ Added "see also" entry undo

curprev 19:2419:24, 11 May 2006‎ Nortexoid talk contribs‎ 1,508 bytes +549‎ corrections undo
curprev 14:4014:40, 11 May 2006‎ Wossi talk contribs‎ 959 bytes −1‎ No edit summary undo

curprev 12:5812:58, 28 October 2005‎ Tizio talk contribs‎ 960 bytes +70‎ see also undo

curprev 16:1216:12, 18 September 2005‎ Silverfish talk contribs‎ m 890 bytes +5‎ Stub-sorting. You can help! undo

curprev 01:0101:01, 23 March 2005‎ Nortexoid talk contribs‎ 885 bytes +12‎ change unicode to TeX (not inline) undo

curprev 14:0214:02, 22 March 2005‎ Charles Matthews talk contribs‎ m 873 bytes +9‎ wfy undo
curprev 14:0114:01, 22 March 2005‎ Charles Matthews talk contribs‎ m 864 bytes +45‎ +cats undo

curprev 06:0706:07, 12 March 2005‎ Chrisjrn talk contribs‎ 819 bytes +15‎ No edit summary undo
curprev 06:0506:05, 12 March 2005‎ Nortexoid talk contribs‎ 804 bytes +86‎ fixed wording undo
curprev 06:0306:03, 12 March 2005‎ Nortexoid talk contribs‎ 718 bytes +718‎ initial entry

Proof procedure: Revision history

28 June 2024

16 October 2023

26 November 2014

18 August 2011

10 July 2010

9 July 2010

4 September 2009

6 August 2009

15 April 2009

5 June 2008

7 March 2008

7 February 2008

30 January 2008

21 July 2007

8 May 2007

1 February 2007

11 May 2006

28 October 2005

18 September 2005

23 March 2005

22 March 2005

12 March 2005