| Thu, 21 Nov 2019 12:05:56 +0100 |
lucin: prep.to unitise handling of tactics
|
file | diff | annotate |
| Thu, 14 Nov 2019 12:08:05 +0100 |
tuned
|
file | diff | annotate |
| Thu, 14 Nov 2019 12:00:13 +0100 |
tuned
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Thu, 31 Oct 2019 13:48:06 +0100 |
tuned
|
file | diff | annotate |
| Thu, 31 Oct 2019 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
| Sat, 19 Oct 2019 11:01:11 +0200 |
lucin: cleanup args in lucas-interpreter, assy works
|
file | diff | annotate |
| Fri, 18 Oct 2019 17:00:36 +0200 |
lucin: cleanup args in lucas-interpreter, new assy with errors outcommented
|
file | diff | annotate |
| Wed, 02 Oct 2019 15:14:51 +0200 |
lucin: generalise bound variable in Prog_Tac.Rewrite*Inst
|
file | diff | annotate |
| Sun, 22 Sep 2019 14:51:29 +0200 |
remove updates for test-mode, i.e. an accident from previous changeset
|
file | diff | annotate |
| Sun, 22 Sep 2019 14:47:35 +0200 |
lucin: shift ListC.thy into ProgLang
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Tue, 27 Aug 2019 18:05:54 +0200 |
revert comments cf.8e357be69082
|
file | diff | annotate |
| Tue, 27 Aug 2019 11:59:48 +0200 |
separate Specify/ from Interpret/
|
file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
| Fri, 23 Aug 2019 16:36:47 +0200 |
collect all defitions for both, ProgLang/ & Interpret/
|
file | diff | annotate | base |