User contributions
From Girard Reading Group
- 23:22, 31 August 2010 (diff | hist) Pitchfork (Revert edit) (top)
- 14:53, 8 November 2007 (diff | hist) Talk:Subformula (top)
- 14:52, 8 November 2007 (diff | hist) Talk:Subformula
- 14:52, 8 November 2007 (diff | hist) N Girard Reading Group:Community Portal (New page: For general discussion. == Fonts == So we've got some issues with fonts. I'm resisting adding the LaTeX extension because its a pain and doesn't look good, but while formulas look beauti...)
- 12:12, 8 November 2007 (diff | hist) Subformula (top)
- 12:12, 8 November 2007 (diff | hist) Subformula (thanks wjl)
- 23:53, 7 November 2007 (diff | hist) N User talk:128.2.213.63 (ooh, mysterious) (top)
- 17:58, 7 November 2007 (diff | hist) Girard Reading Group (→Entry Points)
- 17:57, 7 November 2007 (diff | hist) N Connectives (New page: Connectives come in two flavors, positive and negative. == Positive connectives == A positive connective is one that "you always know what to do with" if they are a hypothesis. The best ...)
- 17:55, 7 November 2007 (diff | hist) Positive (Redirecting to Connectives) (top)
- 17:52, 7 November 2007 (diff | hist) N Positive (Redirecting to Positive connective)
- 17:50, 7 November 2007 (diff | hist) N User talk:Wjl (New page: The mustard has been shown. And the hypercube was of course an all-out shoutout. ~~~~) (top)
- 17:49, 7 November 2007 (diff | hist) Subformula (add notes and the derivation me and wjl held on to for dear life)
- 14:06, 7 November 2007 (diff | hist) Girard Reading Group
- 12:15, 7 November 2007 (diff | hist) User:Rsimmons (top)
- 12:15, 7 November 2007 (diff | hist) N User:Rsimmons (This is me)
- 11:58, 7 November 2007 (diff | hist) N User talk:Gwillen (Poke Back) (top)
- 01:44, 7 November 2007 (diff | hist) Girard Reading Group
- 00:07, 7 November 2007 (diff | hist) Girard Reading Group
- 23:57, 6 November 2007 (diff | hist) Girard Reading Group (welcome and a question)
