| Fri, 09 Aug 2019 14:04:13 +0200 |
separater structure ContextC
|
file | diff | annotate |
| Wed, 31 Jul 2019 09:46:50 +0200 |
abstract code to common function
|
file | diff | annotate |
| Wed, 24 Jul 2019 18:22:15 +0200 |
reorganise TODO.thy
|
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:48:39 +0200 |
tuned such that Test_Isac.thy runs with previous changeset
|
file | diff | annotate |
| Wed, 24 Jul 2019 09:32:17 +0200 |
lucin: improve signature of "fun locate_input_tactic"
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:30:31 +0200 |
lucin: rename scr --> program
|
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 |
| Mon, 24 Jun 2019 15:53:50 +0200 |
repair Test_Isac for previous change set
|
file | diff | annotate |
| Mon, 24 Jun 2019 14:02:39 +0200 |
[-Test_Isac] lucin: shift "find next tactic" into lucas-interpreter.sml
|
file | diff | annotate |
| Sat, 22 Jun 2019 13:15:52 +0200 |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
file | diff | annotate |
| Thu, 30 May 2019 12:39:13 +0200 |
[-Test_Isac] re-use formal_args, cleanup sig
|
file | diff | annotate |
| Thu, 30 May 2019 12:04:55 +0200 |
[-Test_Isac] funpack: switch auto-generated programs to partial_function
|
file | diff | annotate |
| Wed, 29 May 2019 14:22:31 +0200 |
[-Test_Isac] funpack: switched also fun formal_args
|
file | diff | annotate |
| Wed, 29 May 2019 10:36:16 +0200 |
[-Test_Isac] funpack: switch from Script to partial_function
|
file | diff | annotate |
| Mon, 27 May 2019 19:28:40 +0200 |
funpack: failed trial to generalise handling of meths which extend the model of a probl
|
file | diff | annotate |
| Fri, 10 May 2019 15:59:58 +0200 |
funpack: release sequence-relation between method's itm list and partial_function's arg list
|
file | diff | annotate |
| Fri, 05 Apr 2019 16:40:33 +0200 |
[-Test_Isac] test/../partial_fractions ok
|
file | diff | annotate |
| Thu, 04 Apr 2019 17:52:52 +0200 |
[-Test_Isac] code cleanup & tests from previous changeset
|
file | diff | annotate |
| Mon, 11 Mar 2019 11:06:27 +0100 |
pbl refinement correctly finds thy for tac Subproblem,
|
file | diff | annotate |
| Thu, 07 Mar 2019 17:29:30 +0100 |
[-Test_Isac] funpack: Const AA enforces care with thys for parsing
|
file | diff | annotate |
| Fri, 15 Feb 2019 16:52:05 +0100 |
funpack: relate body_of, formal_args to prep_program
|
file | diff | annotate |
| Thu, 14 Feb 2019 20:12:32 +0100 |
funpack: preview to body_of, formal_args for partial_function
|
file | diff | annotate |
| Thu, 10 Jan 2019 18:17:48 +0100 |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
file | diff | annotate |
| Fri, 14 Dec 2018 18:53:23 +0100 |
[-Test_Isac] funpack: prep.no.2 replace ID::type by char string
|
file | diff | annotate |
| Wed, 12 Dec 2018 19:52:53 +0100 |
tuned
|
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 |
| Tue, 11 Dec 2018 12:17:12 +0100 |
[-Test_Isac] funpack: Minisubpbl/200-start-method works again
|
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 |
| Fri, 23 Feb 2018 07:29:36 +0100 |
separate structure Rewrite : REWRITE
|
file | diff | annotate |
| Wed, 14 Feb 2018 15:59:00 +0100 |
prep. opening LTool for test/
|
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:39:22 +0100 |
------ PolyML.makestring discontinued
|
file | diff | annotate |
| Tue, 07 Feb 2017 08:57:42 +0100 |
separate structure Model : MODEL
|
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, 04 Feb 2017 07:20:39 +0100 |
separate structure Stool : SPECIFY_TOOL
|
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 |
| Mon, 19 Dec 2016 10:37:44 +0100 |
renamed structure to Generate : GENERATE_CALC_TREE
|
file | diff | annotate |
| Sun, 18 Dec 2016 16:27:41 +0100 |
added structure Specify : MODEL_SPECIFY
|
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 |