Wed, 15 Apr 2020 10:07:43 +0200 | use "ThmC" for renaming identifiers | file | diff | annotate |
Tue, 14 Apr 2020 12:39:26 +0200 | reorganise struct. ThmC, part 3 end | file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 | use "UnparseC" for renaming identifiers | file | diff | annotate |
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 |