| 2022-01-30 | Christian Urban | more definitions in the paper | file | diff | annotate |
| 2022-01-29 | Christian Urban | updated | file | diff | annotate |
| 2022-01-28 | Christian Urban | updated | file | diff | annotate |
| 2022-01-27 | Christian Urban | updated Sizebound4 | file | diff | annotate |
| 2022-01-25 | Christian Urban | added ITP paper | file | diff | annotate |
| 2022-01-22 | Christian Urban | polished | file | diff | annotate | base |