| Fri, 28 Jan 2022 12:02:25 +0000 | Christian Urban | updated | file | diff | annotate |
| Thu, 27 Jan 2022 23:25:26 +0000 | Christian Urban | updated Sizebound4 | file | diff | annotate |
| Tue, 25 Jan 2022 13:12:50 +0000 | Christian Urban | added ITP paper | file | diff | annotate |
| Sat, 22 Jan 2022 10:48:09 +0000 | Christian Urban | polished | file | diff | annotate | base |