User contributions
From The Twelf Project
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 22:47, 18 December 2020 (diff | hist) . . (0) . . m User:Rsimmons/Handled exceptions (Protected "User:Rsimmons/Handled exceptions" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))) (current)
- 20:18, 20 March 2018 (diff | hist) . . (0) . . m User:Rsimmons/Fluid binding (Protected "User:Rsimmons/Fluid binding" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))) (current)
- 20:18, 20 March 2018 (diff | hist) . . (+36,329) . . User:Rsimmons/Fluid binding
- 20:17, 20 March 2018 (diff | hist) . . (0) . . m User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf (Protected "User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))) (current)
- 20:17, 20 March 2018 (diff | hist) . . (+4,064) . . User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf
- 15:37, 17 March 2016 (diff | hist) . . (-20) . . m Bibliography of LF (Reverted edits by Jacintheford (talk) to last revision by Rsimmons)
- 16:17, 10 February 2016 (diff | hist) . . (-33,073) . . Talk:Equality (Big revert (thanks John)) (current)
- 18:03, 30 January 2016 (diff | hist) . . (-458) . . Talk:Case studies (rollback) (current)
- 18:02, 30 January 2016 (diff | hist) . . (-32,731) . . Talk:Equality (revert edits)
- 18:01, 30 January 2016 (diff | hist) . . (-278) . . m Talk:CPS conversion (Reverted edits by 5.167.114.39 (talk) to last revision by Tom7) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-277) . . m Talk:Uniqueness lemma (Reverted edits by 5.167.114.39 (talk) to last revision by Rsimmons) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-280) . . m Talk:Implicit and explicit parameters (Reverted edits by 37.113.34.32 (talk) to last revision by Tom7) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-263) . . m Talk:Twelf style guide (Reverted edits by 37.113.34.32 (talk) to last revision by Boyland) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-266) . . m Talk:Metatheorem (Reverted edits by 37.113.34.32 (talk) to last revision by Rsimmons) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-280) . . m Talk:Canonical forms lemma (Reverted edits by 37.113.34.32 (talk) to last revision by DanielKLee) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-259) . . m Talk:General description of Twelf (Reverted edits by 37.113.34.32 (talk) to last revision by Rsimmons) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-275) . . m Talk:Output freeness (Reverted edits by 37.113.34.32 (talk) to last revision by Tom7) (current)
- 18:01, 30 January 2016 (diff | hist) . . (-270) . . m Talk:Documentation (Reverted edits by 37.113.34.32 (talk) to last revision by Rsimmons)
- 18:01, 30 January 2016 (diff | hist) . . (-457) . . m Substitution lemma (Reverted edits by 122.102.45.251 (talk) to last revision by 76.20.72.175)
- 18:00, 30 January 2016 (diff | hist) . . (-20) . . m Bibliography of LF (Reverted edits by 122.102.45.251 (talk) to last revision by 62.210.97.100)
- 19:01, 17 January 2016 (diff | hist) . . (0) . . What's new (more archive) (current)
- 18:59, 17 January 2016 (diff | hist) . . (-24) . . Download (plparty--) (current)
- 18:57, 17 January 2016 (diff | hist) . . (+1) . . What's new
- 18:57, 17 January 2016 (diff | hist) . . (+320) . . What's new (Sign of life.)
- 17:36, 15 January 2016 (diff | hist) . . (-285) . . Documentation (Old documentation sources, including the old User's Guide, are now apparently lost and gone forever.) (current)
- 14:27, 9 November 2014 (diff | hist) . . (0) . . m Talk:Main Page (Protected "Talk:Main Page" ([edit=sysop] (indefinite) [move=sysop] (indefinite))) (current)
- 14:27, 9 November 2014 (diff | hist) . . (-3,278) . . Talk:Main Page (Replaced content with "== How to edit the main page == In rough order of how likely they are to need to be edited. If you want to edit a certain page, click on it and choose edit. *[[What's new?]...")
- 16:32, 9 January 2014 (diff | hist) . . (-14) . . Focusing
- 16:20, 9 October 2013 (diff | hist) . . (-316) . . m Substitution lemma (Reverted edits by 118.99.85.242 (talk) to last revision by 94.164.56.111)
- 16:17, 9 October 2013 (diff | hist) . . (+51) . . Talk:Ask Twelf Elf (→%reduces not as smart as what is done in %total, it seems)
- 13:27, 31 May 2013 (diff | hist) . . (0) . . m Introductions to Twelf (Protected "Introductions to Twelf" ([edit=sysop] (indefinite) [move=sysop] (indefinite)))
- 13:27, 31 May 2013 (diff | hist) . . (-501) . . m Introductions to Twelf (Reverted edits by 112.78.163.200 (talk) to last revision by Rsimmons)
- 23:11, 30 May 2013 (diff | hist) . . (0) . . m Lax logic (Protected "Lax logic" ([edit=sysop] (indefinite) [move=sysop] (indefinite))) (current)
- 23:10, 30 May 2013 (diff | hist) . . (-317) . . m Lax logic (Reverted edits by 112.78.163.219 (talk) to last revision by 213.219.165.178)
- 23:06, 30 May 2013 (diff | hist) . . (-501) . . m Introductions to Twelf (Reverted edits by 112.78.162.206 (talk) to last revision by Carsten)
- 23:05, 30 May 2013 (diff | hist) . . (0) . . m User talk:Rsimmons (Protected "User talk:Rsimmons" ([edit=sysop] (indefinite) [move=sysop] (indefinite))) (current)
- 23:04, 30 May 2013 (diff | hist) . . (-2,086,977) . . User talk:Rsimmons (holy crap)
- 03:49, 9 April 2013 (diff | hist) . . (-1) . . Focusing
- 03:48, 9 April 2013 (diff | hist) . . (-501) . . m Introductions to Twelf (Reverted edits by 112.78.162.42 (talk) to last revision by 213.219.168.17)
- 03:48, 9 April 2013 (diff | hist) . . (-317) . . m Lax logic (Reverted edits by 112.78.162.42 (talk) to last revision by 213.219.168.17)
- 03:48, 9 April 2013 (diff | hist) . . (-316) . . m Substitution lemma (Reverted edits by 112.78.162.42 (talk) to last revision by 77.109.126.133)
- 03:47, 9 April 2013 (diff | hist) . . (-318) . . m User talk:Rsimmons (Reverted edits by 112.78.162.42 (talk) to last revision by 213.219.168.17)
- 19:04, 8 April 2013 (diff | hist) . . (+63) . . Focusing (flatten structure)
- 19:01, 8 April 2013 (diff | hist) . . (+47) . . Focusing
- 19:00, 8 April 2013 (diff | hist) . . (+2,031) . . Focusing (whoo focusing)
- 15:23, 8 April 2013 (diff | hist) . . (+1,750) . . Focusing (Broken update for copyediting)
- 14:18, 8 April 2013 (diff | hist) . . (-5,415) . . Focusing (broken (missing completeness) but almost there)
- 22:16, 6 April 2013 (diff | hist) . . (+530) . . Focusing (fixup)
- 22:14, 6 April 2013 (diff | hist) . . (+6,821) . . Focusing (Partial update)
- 19:15, 6 April 2013 (diff | hist) . . (-316) . . Substitution lemma (revert)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)