| Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
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 |
| Thu, 02 Feb 2017 06:50:47 +0100 |
remove warnings at the cost of opening structures
|
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 |
| 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 14:48:20 +0100 |
further preparation for separating ctree-basic.sml
|
file | diff | annotate |