User contributions for 88.175.209.213

For 88.175.209.213 talk block log logs 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

15:5415:54, 10 September 2009 diff hist +14‎ Metamath ‎ →‎A generic proof checker
15:0115:01, 10 September 2009 diff hist +81‎ Metamath ‎ →‎Further remarks
09:4409:44, 10 September 2009 diff hist +156‎ Metamath ‎No edit summary
09:3809:38, 10 September 2009 diff hist +1‎ Metamath ‎ →‎Hilbert Space Explorer
09:3709:37, 10 September 2009 diff hist −28‎ Metamath ‎ →‎Hilbert Space Explorer
09:3309:33, 10 September 2009 diff hist −329‎ Metamath ‎ →‎Metamath Proof Explorer: -- redundant

12:0712:07, 9 September 2009 diff hist 0‎ Metamath ‎ →‎Further remarks
12:0612:06, 9 September 2009 diff hist +218‎ Metamath ‎ →‎Further remarks
11:5911:59, 9 September 2009 diff hist −1‎ Metamath ‎ →‎Further remarks
11:5911:59, 9 September 2009 diff hist +4‎ Metamath ‎ →‎Further remarks
11:5311:53, 9 September 2009 diff hist −5‎ Metamath ‎ →‎The Metamath language
11:5211:52, 9 September 2009 diff hist −2‎ Metamath ‎ →‎A generic proof checker

18:0718:07, 18 August 2009 diff hist −302‎ Talk:Currying ‎ Remove ugly mention - Hey man we speak about mathematics ! Don't alert the CIA
18:0318:03, 18 August 2009 diff hist +345‎ Talk:Currying ‎ →‎Currying != Generalized Partial Application

13:4713:47, 14 June 2009 diff hist +49‎ List of English-based pidgins ‎No edit summary

11:2211:22, 10 May 2009 diff hist +261‎ Talk:Metamath ‎ →‎Italics

20:3620:36, 9 May 2009 diff hist +3,880‎ Talk:Metamath ‎ →‎Some rewriting needed

20:5720:57, 6 May 2009 diff hist 0‎ User talk:CRGreathouse ‎ →‎Metamath
20:5420:54, 6 May 2009 diff hist +268‎ User talk:CRGreathouse ‎ →‎Metamath

19:2619:26, 5 May 2009 diff hist +82‎ User talk:CRGreathouse ‎ →‎Metamath

19:1419:14, 4 May 2009 diff hist +3‎ Wikipedia talk:Manual of Style ‎ →‎Italicising softwares and sites names
18:3918:39, 4 May 2009 diff hist +335‎ Wikipedia talk:Manual of Style ‎ →‎Use of metaphor and simile
18:3518:35, 4 May 2009 diff hist 0‎ User talk:CRGreathouse ‎ →‎Metamath
18:3418:34, 4 May 2009 diff hist +305‎ User talk:CRGreathouse ‎ →‎Metamath

20:1720:17, 3 May 2009 diff hist +6‎ Metamath ‎ →‎A generic proof checker
20:1720:17, 3 May 2009 diff hist +9‎ Metamath ‎ →‎A generic proof checker
20:1220:12, 3 May 2009 diff hist −161‎ Metamath ‎ Remove a repetition

13:0613:06, 10 November 2008 diff hist +84‎ Category of sets ‎ clarification
12:4812:48, 10 November 2008 diff hist +86‎ Julia Kristeva ‎ Improvement

20:1820:18, 2 October 2008 diff hist −42‎ Metamath ‎ This title is now of no use
20:1820:18, 2 October 2008 diff hist +42‎ Metamath ‎ Move stuff in a more appropriate place
20:1320:13, 2 October 2008 diff hist −1,266‎ Metamath ‎ Remove duplicated information

19:0919:09, 13 September 2008 diff hist +1‎ Category of sets ‎ →‎Trouble with the category of sets
19:0819:08, 13 September 2008 diff hist +1‎ Category of sets ‎ →‎Trouble with the category of sets
19:0819:08, 13 September 2008 diff hist +260‎ Category of sets ‎ →‎Trouble with the category of sets
19:0519:05, 13 September 2008 diff hist +1‎ Category of sets ‎ →‎The size of the category of sets
19:0319:03, 13 September 2008 diff hist −1‎ Category of sets ‎ →‎The size of the category of sets
10:0210:02, 13 September 2008 diff hist +9‎ Category of sets ‎ →‎The size of the category of sets
09:2709:27, 13 September 2008 diff hist −141‎ Category of sets ‎ →‎The size of the category of sets

12:3512:35, 12 September 2008 diff hist +132‎ Category of sets ‎ →‎The size of the category of sets
12:3112:31, 12 September 2008 diff hist +316‎ Category of sets ‎ →‎The size of the category of sets
12:1812:18, 12 September 2008 diff hist −30‎ Category of sets ‎ →‎The size of the category of sets
12:1612:16, 12 September 2008 diff hist −34‎ Category of sets ‎ →‎The size of the category of sets
11:4211:42, 12 September 2008 diff hist +600‎ Category of sets ‎ →‎The size of the category of sets

10:5310:53, 11 September 2008 diff hist +196‎ Category of sets ‎ →‎The size of the category of sets

19:5219:52, 30 August 2008 diff hist 0‎ Metamath ‎ →‎Pros and cons of Metamath's philosophy
19:5119:51, 30 August 2008 diff hist +1‎ Metamath ‎ →‎Pros and cons of Metamath's philosophy

18:3618:36, 25 June 2008 diff hist 0‎ Metamath ‎ →‎A formal system deduction checker
18:3118:31, 25 June 2008 diff hist 0‎ Metamath ‎ →‎Pros and cons of Metamath's simplicity philosophy

13:0613:06, 24 June 2008 diff hist +1‎ Metamath ‎ →‎A formal system deduction checker

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