| 2015-02-24 | Chris | edits | blob | commitdiff |
| 2015-02-24 | Chris | edits | blob | commitdiff | diff to current |
| 2015-02-24 | Chris | pred in system F | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | edits | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | edits | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | defined system f | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | defined system f | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | adjustments | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | adjustments | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | edits | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | edits | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | added discussion of Montague's PTQ | blob | commitdiff | diff to current |
| 2015-02-22 | Chris | Added system F | blob | commitdiff | diff to current |