| 2015-02-24 | Chris | merging edits | blob | commitdiff |
| 2015-02-24 | jim | tweak explanation of Bunder/Urbanek pred | blob | commitdiff |
| 2015-02-24 | jim | add comment | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | defined system f | blob | commitdiff | diff to current |
| 2015-02-23 | jim | typos | blob | commitdiff | diff to current |
| 2015-02-23 | jim | add note about generalization | blob | commitdiff | diff to current |
| 2015-02-23 | jim | delete cruft | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | edits | blob | commitdiff | diff to current |
| 2015-02-23 | Chris | Merge branch 'working' | blob | commitdiff | diff to current |
| 2015-02-23 | jim | fix link | blob | commitdiff | diff to current |
| 2015-02-23 | jim | create page | blob | commitdiff | diff to current |