| Wed, 02 Oct 2019 16:02:17 +0200 | lucin: use #> in Program in analogy to #> in Isabelle/ML | file | diff | annotate |
| Wed, 02 Oct 2019 15:14:51 +0200 | lucin: generalise bound variable in Prog_Tac.Rewrite*Inst | file | diff | annotate |
| Tue, 01 Oct 2019 10:47:25 +0200 | lucin: drop unused bool argument in tactic Rewrite*Inst | file | diff | annotate |
| Sun, 22 Sep 2019 16:52:14 +0200 | adopt new files of ProgLang in test/.. | file | diff | annotate |