| Mon, 10 Jul 2023 00:44:45 +0100 | Chengsong | Addressed Gerog "can't understand 'erase messes with structure'" comment | file | diff | annotate |
| Sun, 09 Jul 2023 02:08:12 +0100 | Chengsong | finished 4.3.2 section explaining why lemma 11 is too strong | file | diff | annotate |
| Sun, 09 Jul 2023 00:29:02 +0100 | Chengsong | Fixed some annotated/unannotated a/r notation inconsistencies. | file | diff | annotate |
| Sat, 08 Jul 2023 22:18:22 +0100 | Chengsong | reordered sections to make chapter 4 more coherent | file | diff | annotate |
| Sat, 08 Jul 2023 01:36:08 +0100 | Chengsong | updated 4.2 diagram | file | diff | annotate |
| Fri, 07 Jul 2023 20:03:05 +0100 | Chengsong | more | file | diff | annotate |
| Thu, 29 Jun 2023 04:17:48 +0100 | Chengsong | more updates in section 4.2 and incorporating Christian comments | file | diff | annotate |
| Tue, 27 Jun 2023 16:26:48 +0100 | Chengsong | more | file | diff | annotate |
| Tue, 27 Jun 2023 01:09:36 +0100 | Chengsong | more | file | diff | annotate |
| Wed, 21 Jun 2023 22:43:04 +0100 | Chengsong | more | file | diff | annotate |
| Sun, 18 Jun 2023 17:54:52 +0100 | Chengsong | more | file | diff | annotate |
| Fri, 30 Dec 2022 23:41:44 +0000 | Chengsong | more proofreading done, last version before submission | file | diff | annotate |
| Fri, 30 Dec 2022 17:37:51 +0000 | Chengsong | until chap 7 | file | diff | annotate |
| Sat, 12 Nov 2022 21:34:40 +0000 | Chengsong | all comments incorporated!!+related work | file | diff | annotate |
| Thu, 22 Sep 2022 00:31:09 +0100 | Chengsong | more | file | diff | annotate |
| Mon, 12 Sep 2022 23:32:18 +0200 | Chengsong | chap4 comments done | file | diff | annotate |
| Thu, 01 Sep 2022 23:47:37 +0100 | Chengsong | more polishing integrated comments chap2 | file | diff | annotate |
| Wed, 31 Aug 2022 23:57:42 +0100 | Chengsong | more chap5 and chap6 bsimp_idem | file | diff | annotate |
| Wed, 31 Aug 2022 12:51:53 +0100 | Chengsong | chap4 finished | file | diff | annotate |
| Tue, 30 Aug 2022 12:41:52 +0100 | Chengsong | data | file | diff | annotate |
| Mon, 29 Aug 2022 10:56:46 +0100 | Chengsong | more chap4 | file | diff | annotate |
| Sat, 27 Aug 2022 00:37:03 +0100 | Chengsong | chap4 more | file | diff | annotate |
| Tue, 23 Aug 2022 22:59:49 +0100 | Chengsong | chap4 nub | file | diff | annotate |
| Tue, 23 Aug 2022 14:21:13 +0100 | Chengsong | chap4 | file | diff | annotate |
| Mon, 22 Aug 2022 17:58:29 +0100 | Chengsong | chap3 done | file | diff | annotate |
| Wed, 17 Aug 2022 01:09:13 +0100 | Chengsong | more chap3 | file | diff | annotate |
| Fri, 12 Aug 2022 00:39:23 +0100 | Chengsong | thesis chap5 | file | diff | annotate |
| Thu, 23 Jun 2022 16:09:40 +0100 | Chengsong | thesis_thys | file | diff | annotate |
| Thu, 09 Jun 2022 22:07:44 +0100 | Chengsong | more | file | diff | annotate |
| Thu, 09 Jun 2022 12:57:53 +0100 | Chengsong | intro and chap2 | file | diff | annotate |
| Fri, 03 Jun 2022 16:45:30 +0100 | Chengsong | restructured | file | diff | annotate |