| Wed, 30 Oct 2019 11:02:41 +0100 |
lucin: extend istate with rule-set vor evaluation
|
file | diff | annotate |
| Fri, 25 Oct 2019 15:06:08 +0200 |
lucin: remove old args in appy & Co
|
file | diff | annotate |
| Sat, 19 Oct 2019 18:19:16 +0200 |
lucin: introduce interpreter-state to appy & Co
|
file | diff | annotate |
| Sat, 19 Oct 2019 14:59:09 +0200 |
lucin: assimilate signatures
|
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 |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
| Wed, 24 Jul 2019 11:30:59 +0200 |
lucin: separate interpreter-state and improve type-identifier
|
file | diff | annotate |
| Wed, 24 Jul 2019 10:35:19 +0200 |
lucin: improve type-identifiers for signatures
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
file | diff | annotate |
| Mon, 24 Jun 2019 15:53:50 +0200 |
repair Test_Isac for previous change set
|
file | diff | annotate |
| Fri, 11 Jan 2019 15:45:55 +0100 |
[-Test_Isac] add test to Minisubpbl for interSteps
|
file | diff | annotate |