User contributions
From The Twelf Project
This IP address is currently blocked. The latest block log entry is provided below for reference:
- 03:48, 9 April 2013 Rsimmons (Talk | contribs) blocked 112.78.162.42 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
- 03:15, 9 April 2013 (diff | hist) . . (+316) . . Substitution lemma
- 03:09, 9 April 2013 (diff | hist) . . (+317) . . Lax logic
- 03:02, 9 April 2013 (diff | hist) . . (+501) . . Introductions to Twelf
- 03:01, 9 April 2013 (diff | hist) . . (+318) . . User talk:Rsimmons
- 10:18, 8 April 2013 (diff | hist) . . (+317) . . Lax logic
- 10:14, 8 April 2013 (diff | hist) . . (+501) . . Introductions to Twelf
- 10:13, 8 April 2013 (diff | hist) . . (+318) . . User talk:Rsimmons