| 2015-03-23 | jim | fix markup | blob | commitdiff |
| 2015-03-23 | jim | add #occurs_free | blob | commitdiff | diff to current |
| 2015-03-21 | jim | replace deleted line | blob | commitdiff | diff to current |
| 2015-03-09 | Chris | edits | blob | commitdiff | diff to current |
| 2015-03-08 | jim | renumber yet again, please stick | blob | commitdiff | diff to current |
| 2015-03-08 | jim | renumber hint again | blob | commitdiff | diff to current |
| 2015-03-08 | jim | renumber hint | blob | commitdiff | diff to current |
| 2015-03-08 | jim | cancel the System F lists -> OCaml | blob | commitdiff | diff to current |
| 2015-03-04 | jim | reword problem | blob | commitdiff | diff to current |
| 2015-03-04 | jim | add hint for tree enumeration | blob | commitdiff | diff to current |
| 2015-03-01 | Chris | assignment5 live | blob | commitdiff | diff to current |