| Fri, 01 May 2020 17:17:41 +0200 | unify sequence of tactics | file | diff | annotate |
| Fri, 01 May 2020 16:06:59 +0200 | separate Specify_Step.check | file | diff | annotate |
| Wed, 29 Apr 2020 12:30:51 +0200 | prep. separation of check Applicable between specify-phase and solve-phase | file | diff | annotate |