| Wed, 15 Apr 2020 13:47:56 +0200 | use "ThyC" 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 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 |
| Thu, 09 Apr 2020 17:13:17 +0200 | separate struct. UnparseC, shift code to ThmC | file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 | use new struct "Rule_Set" for renaming identifiers | file | diff | annotate |
| Mon, 06 Apr 2020 11:44:36 +0200 | use "Rule_Set" for shorter identifiers | file | diff | annotate |
| Wed, 28 Aug 2019 11:21:26 +0200 | reorganised MathEngine/ BridgeLibisabelle/ | file | diff | annotate | base |