| 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 |