| Tue, 02 Aug 2022 22:11:22 +0100 | Chengsong | more | file | diff | annotate |
| Sat, 16 Jul 2022 18:34:46 +0100 | Chengsong | more chapter2 modifications | file | diff | annotate |
| Wed, 13 Jul 2022 08:27:28 +0100 | Chengsong | more | file | diff | annotate |
| Mon, 04 Jul 2022 12:27:13 +0100 | Chengsong | haha | file | diff | annotate |
| Fri, 01 Jul 2022 13:02:15 +0100 | Chengsong | more changes | file | diff | annotate |
| Fri, 24 Jun 2022 21:49:23 +0100 | Chengsong | more changes | file | diff | annotate |
| Fri, 24 Jun 2022 11:41:05 +0100 | Chengsong | start of day | file | diff | annotate |
| Thu, 23 Jun 2022 21:04:43 +0100 | Chengsong | modified some proofs of s~>* | file | diff | annotate |
| Thu, 23 Jun 2022 19:11:02 +0100 | Chengsong | more deletion of bsimp related | file | diff | annotate |
| Thu, 23 Jun 2022 18:57:19 +0100 | Chengsong | bsimp def removed | file | diff | annotate |
| Thu, 23 Jun 2022 18:50:59 +0100 | Chengsong | before removing distinctWith | file | diff | annotate |
| Thu, 23 Jun 2022 18:32:14 +0100 | Chengsong | before alternating rewriting relation | file | diff | annotate |
| Thu, 23 Jun 2022 16:59:58 +0100 | Chengsong | beforeBig changes | file | diff | annotate |
| Thu, 23 Jun 2022 16:47:48 +0100 | Chengsong | more changes to blexersimp.thy | file | diff | annotate |
| Thu, 23 Jun 2022 16:10:04 +0100 | Chengsong | hello | file | diff | annotate |
| Thu, 28 Apr 2022 15:56:22 +0100 | Christian Urban | a fresh directory with cleaned up code | file | diff | annotate |