| Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
file | diff | annotate |
| Thu, 08 Mar 2018 08:04:04 +0100 |
these "Pure" are necessary, on of the others caused "Isac.Pure"
|
file | diff | annotate |
| Thu, 08 Mar 2018 07:52:06 +0100 |
TermC: error caused by broken test shows: get_theory "Pure" ...
|
file | diff | annotate |
| Sat, 20 Jan 2018 15:46:26 +0100 |
------ eq_thy changes to other module
|
file | diff | annotate |
| Tue, 07 Feb 2017 08:57:42 +0100 |
separate structure Model : MODEL
|
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 |
| Sat, 21 Jan 2017 10:25:19 +0100 |
prep 1 for structure Tac : TACTIC
|
file | diff | annotate |
| Thu, 19 Jan 2017 11:35:30 +0100 |
tuned
|
file | diff | annotate |
| Thu, 19 Jan 2017 10:35:39 +0100 |
separate structure CTnavi : CALC_TREE_NAVIGATION
|
file | diff | annotate |
| Wed, 18 Jan 2017 11:23:02 +0100 |
separate structure CTaccess : CALC_TREE_ACCESS
|
file | diff | annotate |
| Wed, 18 Jan 2017 09:09:04 +0100 |
begin to divide structure Ctree
|
file | diff | annotate |
| Mon, 09 Jan 2017 14:47:24 +0100 |
--- Test_Isac fails, restart stepwise
|
file | diff | annotate |
| Fri, 06 Jan 2017 15:52:58 +0100 |
separate structure CTaccess : CALC_TREE_ACCESS
|
file | diff | annotate |
| Fri, 06 Jan 2017 15:02:46 +0100 |
restored structure CTbasic : BASIC_CALC_TREE
|
file | diff | annotate |
| Fri, 06 Jan 2017 14:48:20 +0100 |
further preparation for separating ctree-basic.sml
|
file | diff | annotate |