Wed, 08 Apr 2020 16:56:47 +0200 |
separate struct Rewrite_Ord
|
file | diff | annotate |
Wed, 08 Apr 2020 14:24:38 +0200 |
separate struct ThyC
|
file | diff | annotate |
Wed, 08 Apr 2020 13:21:19 +0200 |
separate struct Exec_Def
|
file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
Wed, 01 Apr 2020 18:54:03 +0200 |
renaming, cleanup
|
file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
Tue, 31 Mar 2020 15:43:33 +0200 |
renaming, cleanup
|
file | diff | annotate |
Thu, 23 Jan 2020 11:12:09 +0100 |
repair last changeset, rename set_skip -> set_found (according last change)
|
file | diff | annotate |
Thu, 23 Jan 2020 10:48:57 +0100 |
lucin: renaming due to simpler scanning (Istate .. found_accept)
|
file | diff | annotate |
Fri, 17 Jan 2020 14:10:10 +0100 |
tuned
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
Wed, 18 Dec 2019 12:40:49 +0100 |
cleanup OLD NEW
|
file | diff | annotate |
Mon, 16 Dec 2019 15:38:13 +0100 |
shift datatype appl: Chead --> Applicable
|
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 |
Wed, 13 Nov 2019 10:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
Mon, 04 Nov 2019 11:40:29 +0100 |
[Test_Isac] lucin: remove Istate.get_*, unnecessary for record.
|
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 |
Wed, 30 Oct 2019 11:02:41 +0100 |
lucin: extend istate with rule-set vor evaluation
|
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 |
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 |
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 |
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 |
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 |
Tue, 22 Jan 2019 09:33:11 +0100 |
[-Test_Isac] funpack: in programs and spec.terms replace bdv by ''bdv''
|
file | diff | annotate |
Mon, 14 Jan 2019 18:15:19 +0100 |
[-Test_Isac] funpack: repaired test/../rewtools.sml
|
file | diff | annotate |
Mon, 26 Mar 2018 07:28:39 +0200 |
Rule: structure pushed to code files
|
file | diff | annotate |
Fri, 23 Mar 2018 10:14:39 +0100 |
Celem: Test_Isac partially
|
file | diff | annotate |
Thu, 15 Mar 2018 15:26:06 +0100 |
Celem: qualifiers not enforced by Build_Isac (+ previous "tuned")
|
file | diff | annotate |
Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
file | diff | annotate |
Fri, 02 Mar 2018 16:19:02 +0100 |
TermC: clean signature, partially
|
file | diff | annotate |
Fri, 02 Mar 2018 14:19:59 +0100 |
separate structure TermC : TERMC
|
file | diff | annotate |
Sun, 25 Feb 2018 12:36:23 +0100 |
separate structure Calc : NUMERAL_CALCULATION
|
file | diff | annotate |
Fri, 23 Feb 2018 07:29:36 +0100 |
separate structure Rewrite : REWRITE
|
file | diff | annotate |
Wed, 14 Feb 2018 12:20:35 +0100 |
separate structure LTools : LANGUAGE_TOOLS
|
file | diff | annotate |
Wed, 07 Feb 2018 10:24:16 +0100 |
Isabelle2015->17: session identifiers enforced now
|
file | diff | annotate |
Sat, 20 Jan 2018 16:53:23 +0100 |
------ Interpret/Interpret.thy builds again
|
file | diff | annotate |
Mon, 06 Feb 2017 08:52:51 +0100 |
remove warnings "unused" from structures, finished for Interpret/
|
file | diff | annotate |
Mon, 06 Feb 2017 06:27:31 +0100 |
begin to re-arrange structures in Interpret.thy
|
file | diff | annotate |
Sat, 21 Jan 2017 14:53:45 +0100 |
--- prep 5 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 12:32:32 +0100 |
prep 4 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 12:01:30 +0100 |
prep 3 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 11:30:18 +0100 |
prep 2 for structure Tac : TACTIC
|
file | diff | annotate |
Mon, 09 Jan 2017 14:47:24 +0100 |
--- Test_Isac fails, restart stepwise
|
file | diff | annotate |
Thu, 22 Dec 2016 14:05:55 +0100 |
clean structure Ctree
|
file | diff | annotate |
Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
Thu, 22 Dec 2016 10:25:49 +0100 |
--- closed structure Ctree
|
file | diff | annotate |
Wed, 21 Dec 2016 08:57:47 +0100 |
added structure Applicable INTERMEDIATELY
|
file | diff | annotate |
Wed, 14 Dec 2016 09:37:01 +0100 |
added structure Ctree : CALC_TREE
|
file | diff | annotate |
Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
Wed, 30 Nov 2016 12:09:24 +0100 |
added structure Rtools : REWRITE_TOOLS
|
file | diff | annotate |