| Fri, 17 Jan 2020 13:14:11 +0100 | lucin: introduce Calc.T and Program.T | file | diff | annotate |
| Sat, 14 Dec 2019 13:36:40 +0100 | remove tracing, which interfere with current investigations | file | diff | annotate |
| Thu, 21 Nov 2019 15:31:32 +0100 | lucin: shift datatype, rename | file | diff | annotate |
| Wed, 02 Oct 2019 16:02:17 +0200 | lucin: use #> in Program in analogy to #> in Isabelle/ML | file | diff | annotate |
| Sun, 22 Sep 2019 14:47:35 +0200 | lucin: shift ListC.thy into ProgLang | file | diff | annotate |
| Mon, 16 Sep 2019 12:43:43 +0200 | shift respective constants to ListC.thy | file | diff | annotate |
| Sat, 14 Sep 2019 16:15:05 +0200 | lucin: cleanup and comment thys in ProgLang | file | diff | annotate |
| Fri, 13 Sep 2019 18:35:51 +0200 | lucin: cleanup thys in ProgLang, in particular Aut_Prog.thy | file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 | lucin: reorganise theories in ProgLang | file | diff | annotate |