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 |
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 |
Wed, 14 Feb 2018 12:20:35 +0100 |
separate structure LTools : LANGUAGE_TOOLS
|
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 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 |