| 2022-07-04 | Chengsong | haha | file | diff | annotate |
| 2022-07-01 | Chengsong | more changes | file | diff | annotate |
| 2022-06-24 | Chengsong | more changes | file | diff | annotate |
| 2022-06-24 | Chengsong | start of day | file | diff | annotate |
| 2022-06-23 | Chengsong | modified some proofs of s~>* | file | diff | annotate |
| 2022-06-23 | Chengsong | more deletion of bsimp related | file | diff | annotate |
| 2022-06-23 | Chengsong | bsimp def removed | file | diff | annotate |
| 2022-06-23 | Chengsong | before removing distinctWith | file | diff | annotate |
| 2022-06-23 | Chengsong | before alternating rewriting relation | file | diff | annotate |
| 2022-06-23 | Chengsong | beforeBig changes | file | diff | annotate |
| 2022-06-23 | Chengsong | more changes to blexersimp.thy | file | diff | annotate |
| 2022-06-23 | Chengsong | hello | file | diff | annotate |
| 2022-04-28 | Christian Urban | a fresh directory with cleaned up code | file | diff | annotate |