User contributions for 79.200.79.29
Jump to navigation
Jump to search
17 September 2011
- 19:0919:09, 17 September 2011 diff hist +559 ProofWiki talk:Current events →Making the proof structures more rigid
- 17:3217:32, 17 September 2011 diff hist +455 ProofWiki talk:Current events →Making the proof structures more rigid
- 15:0915:09, 17 September 2011 diff hist +316 ProofWiki talk:Current events No edit summary