Mon, 25 Nov 2019 16:39:52 +0100 | lucin: renaming in scanning the parse-tree | file | diff | annotate |
Wed, 13 Nov 2019 10:21:51 +0100 | separate structure Pos: POSITION | file | diff | annotate |
Thu, 07 Nov 2019 07:39:58 +0100 | lucin: renaming for paper | file | diff | annotate |
Wed, 02 Oct 2019 16:02:17 +0200 | lucin: use #> in Program in analogy to #> in Isabelle/ML | file | diff | annotate |
Tue, 01 Oct 2019 10:47:25 +0200 | lucin: drop unused bool argument in tactic Rewrite*Inst | file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 | lucin: reorganise theories in ProgLang | file | diff | annotate |