| Mon, 13 Apr 2020 15:31:23 +0200 | reorganise struct. ThmC, part 1 | file | diff | annotate |
| Mon, 13 Apr 2020 13:27:55 +0200 | improve renaming | file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 | use "UnparseC" for renaming identifiers | file | diff | annotate |
| Fri, 10 Apr 2020 16:16:09 +0200 | use "Rule" and "Rule_Set" for renaming identifiers | file | diff | annotate |
| Fri, 10 Apr 2020 14:46:55 +0200 | rearrange code for ThmC | file | diff | annotate | base |