| Thu, 04 Aug 2022 12:48:37 +0200 | polish naming in Rewrite_Order | file | diff | annotate |
| Mon, 04 May 2020 16:25:14 +0200 | shift code specific for specify-phase to Specify/* | file | diff | annotate |
| 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 |
| 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 |
| Sat, 04 Apr 2020 12:11:32 +0200 | separate Rule_Set from Rule | file | diff | annotate |
| Sat, 30 Nov 2019 15:43:14 +0100 | lucin: prep. next_tactic_result, Accept_Tac2 takes ctxt in addition | file | diff | annotate |