| Tue, 26 Nov 2019 17:37:17 +0100 |
lucin: improve readability
|
file | diff | annotate |
| Mon, 25 Nov 2019 16:39:52 +0100 |
lucin: renaming in scanning the parse-tree
|
file | diff | annotate |
| Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
file | diff | annotate |
| Tue, 19 Nov 2019 14:19:44 +0100 |
lucin: improve naming for constructors in scans
|
file | diff | annotate |
| Wed, 13 Nov 2019 16:47:34 +0100 |
lucin: remove step-construction by Rrls
|
file | diff | annotate |
| Wed, 13 Nov 2019 15:52:03 +0100 |
lucin: renaming in structure Istate
|
file | diff | annotate |
| Wed, 13 Nov 2019 10:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
| Thu, 07 Nov 2019 11:49:00 +0100 |
lucin: remove step-construction by Rrls
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Thu, 07 Nov 2019 09:22:05 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Thu, 07 Nov 2019 07:39:58 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Wed, 06 Nov 2019 15:08:27 +0100 |
lucin: args of appy, assy & Co reorganised
|
file | diff | annotate |
| Mon, 04 Nov 2019 09:04:23 +0100 |
[Test_Isac] lucin: reorganise args of appy, assy & Co
|
file | diff | annotate |
| Thu, 31 Oct 2019 13:38:25 +0100 |
[Test_Isac] lucin: make istate a record for pattern matching
|
file | diff | annotate |
| Thu, 31 Oct 2019 10:42:39 +0100 |
save forgotten files
|
file | diff | annotate |
| Thu, 31 Oct 2019 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
| 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 |
| Tue, 22 Oct 2019 17:35:50 +0200 |
lucin: prep. tests for appy & Co with interpretere-state
|
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 15:05:02 +0200 |
renaming
|
file | diff | annotate |
| Sat, 19 Oct 2019 14:59:09 +0200 |
lucin: assimilate signatures
|
file | diff | annotate |
| Fri, 18 Oct 2019 16:18:14 +0200 |
lucin: cleanup args in lucas-interpreter, preps 2
|
file | diff | annotate |
| Wed, 16 Oct 2019 16:20:21 +0200 |
lucin: cleanup return values of locate_input_tactic
|
file | diff | annotate |
| Tue, 01 Oct 2019 10:47:25 +0200 |
lucin: drop unused bool argument in tactic Rewrite*Inst
|
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 |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Thu, 22 Aug 2019 15:56:48 +0200 |
lucin: pair relevant args. in associate
|
file | diff | annotate |
| Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
| Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
file | diff | annotate |
| Tue, 13 Aug 2019 09:19:33 +0200 |
[Text_Isac/../inverse_z_transform.sml] lucin: prep. "fun associate" for sig. locate_input_tactic
|
file | diff | annotate |
| Wed, 24 Jul 2019 15:28:11 +0200 |
lucin: rename assod --> associate
|
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, 24 Jul 2019 09:32:17 +0200 |
lucin: improve signature of "fun locate_input_tactic"
|
file | diff | annotate |
| Fri, 05 Jul 2019 13:47:21 +0200 |
lucin: for "fun locate_input_tactic" remove thy + replace by "Isac" in calls
|
file | diff | annotate |
| Thu, 04 Jul 2019 15:13:30 +0200 |
lucin: tuned
|
file | diff | annotate |
| Wed, 03 Jul 2019 17:17:55 +0200 |
lucin: new lucas-interpreter in comments
|
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 |
| Tue, 25 Jun 2019 10:27:14 +0200 |
lucin: shift "locate input tactic" into lucas-interpreter.sml"
|
file | diff | annotate |
| Wed, 12 Dec 2018 19:39:51 +0100 |
[-Test_Isac] funpack: Minisubpbl/250-Rewrite_Set-from-method works again
|
file | diff | annotate |
| Fri, 23 Mar 2018 10:14:39 +0100 |
Celem: Test_Isac partially
|
file | diff | annotate |