User contributions for 82.127.41.206

Results for 82.127.41.206 talk block log logs global block log filter log

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

12:0512:05, 28 March 2007 diff hist −2 Metamath Minor

09:3909:39, 5 March 2007 diff hist 0 Metamath Modif.

11:5511:55, 3 March 2007 diff hist +213 User talk:MrASingh Metamath
11:5411:54, 3 March 2007 diff hist +213 User talk:Gandalf61 Metamath
11:5411:54, 3 March 2007 diff hist +213 User talk:CRGreathouse Metamath.

11:5711:57, 25 February 2007 diff hist −6,936 Wikipedia:Village pump (policy) No edit summary

10:4910:49, 7 January 2007 diff hist +52 Metamath →Brief tour of the set.mm database

09:5609:56, 28 December 2006 diff hist +266 Metamath Add "generic proof checker" section

18:2418:24, 21 December 2006 diff hist −45 Metamath Minor

12:2012:20, 9 December 2006 diff hist +418 Metamath →Mathematics as one has never seen them before

10:0610:06, 7 December 2006 diff hist +97 Metamath →The Metamath language

11:2511:25, 28 November 2006 diff hist +53 Metamath No edit summary
11:2111:21, 28 November 2006 diff hist −69 Metamath Minor
11:1911:19, 28 November 2006 diff hist −6 Metamath Minor
11:1611:16, 28 November 2006 diff hist −2 Metamath Minor
11:1411:14, 28 November 2006 diff hist +356 Metamath Added quantum logic explorer

18:1918:19, 27 November 2006 diff hist +28 Metamath Added "theorem provers category". Metamath is not a theorem prover but all the members of the family are here so ...
18:1518:15, 27 November 2006 diff hist −50 Metamath Chenage the place of Wiedijk's article

09:2709:27, 7 November 2006 diff hist −87 Metamath No edit summary

10:3310:33, 6 November 2006 diff hist −100 Metamath No edit summary

18:4518:45, 5 November 2006 diff hist −128 Metamath Removal of duplicated material
18:4418:44, 5 November 2006 diff hist +43 Metamath Minor
18:3818:38, 5 November 2006 diff hist +4 Metamath Minor
18:2918:29, 5 November 2006 diff hist +11 Metamath Minor
11:0111:01, 5 November 2006 diff hist −68 Metamath No edit summary
10:5410:54, 5 November 2006 diff hist +15 Metamath No edit summary
10:5410:54, 5 November 2006 diff hist +16 Metamath No edit summary
10:5210:52, 5 November 2006 diff hist −65 Metamath No edit summary

10:4510:45, 3 November 2006 diff hist +10 Metamath No edit summary
10:4410:44, 3 November 2006 diff hist +369 Metamath No edit summary
10:3910:39, 3 November 2006 diff hist −28 Metamath No edit summary

19:3119:31, 30 October 2006 diff hist +5 Metamath Minor correction
19:3019:30, 30 October 2006 diff hist +7 Metamath No edit summary
17:4917:49, 30 October 2006 diff hist −41 Metamath Minor
17:4917:49, 30 October 2006 diff hist −12 Metamath Minor
17:4717:47, 30 October 2006 diff hist +379 Metamath Added Metamath identity card
17:3217:32, 30 October 2006 diff hist +100 Metamath Minor
17:2617:26, 30 October 2006 diff hist +5 Metamath Minor
17:1617:16, 30 October 2006 diff hist +182 Metamath →Other works connected to Metamath
17:1217:12, 30 October 2006 diff hist +164 Metamath Added a link to Hmmm

09:2309:23, 26 October 2006 diff hist −45 Metamath Minor changements

09:1309:13, 25 October 2006 diff hist −550 Metamath Remove the reference to the (funny but inessential) poisson d'avril theorem
09:0809:08, 25 October 2006 diff hist +183 Metamath Addded connection between two paragraphs.

10:0610:06, 19 October 2006 diff hist +214 Talk:Metamath April Fool's theorem
09:2409:24, 19 October 2006 diff hist +3 Metamath →The metamath language

10:1110:11, 18 October 2006 diff hist −5 Metamath →The metamath language

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/82.127.41.206"