| Fri, 10 Apr 2020 14:46:55 +0200 | rearrange code for ThmC | file | diff | annotate |
| Thu, 09 Apr 2020 18:21:09 +0200 | rearrange code in Rule_Set and Rule | file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 | separate struct. UnparseC, shift code to ThmC | file | diff | annotate |
| Thu, 09 Apr 2020 12:03:14 +0200 | add test files according to new struct.s | file | diff | annotate | base |