| Wed, 30 Mar 2022 18:02:40 +0100 | Christian Urban | made paper changes after ITP comments | file | diff | annotate |
| Wed, 23 Mar 2022 10:09:32 +0000 | Christian Urban | updated | file | diff | annotate |
| Wed, 23 Mar 2022 00:09:08 +0000 | Christian Urban | updated | file | diff | annotate |
| Tue, 22 Mar 2022 11:14:02 +0000 | Christian Urban | updated | file | diff | annotate |
| Tue, 22 Mar 2022 11:08:43 +0000 | Christian Urban | updated paper | file | diff | annotate |
| Tue, 22 Mar 2022 10:29:07 +0000 | Christian Urban | updated paper | file | diff | annotate |
| Tue, 22 Mar 2022 09:40:24 +0000 | Christian Urban | updated | file | diff | annotate |
| Mon, 21 Mar 2022 10:44:58 +0000 | Christian Urban | updated paper | file | diff | annotate |
| Wed, 02 Mar 2022 11:43:41 +0000 | Christian Urban | updated | file | diff | annotate |
| Wed, 09 Feb 2022 15:14:58 +0000 | Christian Urban | updated | file | diff | annotate |
| Wed, 09 Feb 2022 11:21:28 +0000 | Christian Urban | updated paper | file | diff | annotate |
| Wed, 09 Feb 2022 00:29:04 +0000 | Christian Urban | updated | file | diff | annotate |
| Tue, 08 Feb 2022 14:29:41 +0000 | Christian Urban | updated paper | file | diff | annotate |
| Mon, 07 Feb 2022 14:22:08 +0000 | Christian Urban | updated | file | diff | annotate |
| Mon, 07 Feb 2022 01:11:25 +0000 | Christian Urban | more of the paper | file | diff | annotate |
| Sun, 06 Feb 2022 00:02:04 +0000 | Christian Urban | more with the paper | file | diff | annotate |
| Fri, 04 Feb 2022 00:35:34 +0000 | Christian Urban | updated papers | file | diff | annotate |
| Wed, 02 Feb 2022 14:52:41 +0000 | Christian Urban | updated some of the text and cardinality proof | file | diff | annotate |
| Sun, 30 Jan 2022 21:21:24 +0000 | Christian Urban | more definitions in the paper | file | diff | annotate |
| Sun, 30 Jan 2022 01:03:26 +0000 | Christian Urban | updated | file | diff | annotate |
| Sat, 29 Jan 2022 23:53:21 +0000 | Christian Urban | updated | file | diff | annotate |
| 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 |
| Sun, 10 Oct 2021 18:35:21 +0100 | Chengsong | for new journal/conf paper! | file | diff | annotate |