User contributions
From The Twelf Project
- 00:09, 20 January 2016 (diff | hist) . . (+265) . . Talk:Equality (→jdfdrxds: new section)
- 23:12, 19 January 2016 (diff | hist) . . (+280) . . Talk:Implicit and explicit parameters (→jdfdrxds: new section)
- 22:46, 19 January 2016 (diff | hist) . . (+266) . . Talk:Metatheorem (→jdfdrxds: new section)
- 22:46, 19 January 2016 (diff | hist) . . (+263) . . Talk:Twelf style guide (→jdfdrxds: new section)
- 19:54, 19 January 2016 (diff | hist) . . (+280) . . Talk:Canonical forms lemma (→jdfdrxds: new section)
- 19:14, 19 January 2016 (diff | hist) . . (+259) . . Talk:General description of Twelf (→jdfdrxds: new section)
- 17:26, 19 January 2016 (diff | hist) . . (+286) . . Talk:Case studies (→jdfdrxds: new section)
- 16:22, 19 January 2016 (diff | hist) . . (+270) . . Talk:Documentation (→jdfdrxds: new section)
- 16:16, 19 January 2016 (diff | hist) . . (+275) . . Talk:Output freeness (→jdfdrxds: new section)