User contributions
From The Twelf Project
- 22:05, 27 April 2009 (diff | hist) . . (+832) . . User:Hdeyoung/subord.elf (Revised discussion of impL cases)
- 17:25, 26 April 2009 (diff | hist) . . (+78) . . m User:Hdeyoung/subord.elf
- 16:45, 26 April 2009 (diff | hist) . . (-8) . . User:Hdeyoung/subord.elf
- 16:44, 26 April 2009 (diff | hist) . . (+140) . . m User:Hdeyoung/subord.elf (Corrected subordination symbol)
- 16:34, 26 April 2009 (diff | hist) . . (+1,347) . . m User:Hdeyoung/subord.elf (Added type annotations, html symbols for \Gamma and subscripts)
- 16:31, 25 April 2009 (diff | hist) . . (+4,863) . . User:Hdeyoung/subord.elf
- 20:56, 24 April 2009 (diff | hist) . . (+9,045) . . User:Hdeyoung/subord.elf
- 00:12, 24 April 2009 (diff | hist) . . (+36) . . m User:Hdeyoung (current)
- 00:07, 24 April 2009 (diff | hist) . . (+30,710) . . N User:Hdeyoung/monweakfoc.elf (Completeness of monadic weak focusing) (current)
- 18:29, 20 April 2009 (diff | hist) . . (+6,089) . . N User:Hdeyoung/subord.elf (Natural numbers, leq, leq-reduces, max)
- 21:22, 15 March 2009 (diff | hist) . . (+12,066) . . N User:Hdeyoung/modal.elf (Pfenning-Davies S4 and lax logics, and translation from lax logic to S4)
- 21:07, 15 March 2009 (diff | hist) . . (+18) . . N User:Hdeyoung (Created page with 'Henry's user page.')
