| 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 |
| Mon, 14 Jan 2019 18:15:19 +0100 |
[-Test_Isac] funpack: repaired test/../rewtools.sml
|
file | diff | annotate |
| Thu, 10 Jan 2019 18:17:48 +0100 |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
file | diff | annotate |
| Wed, 26 Dec 2018 14:24:05 +0100 |
[-Test_Isac] funpack: further replacement ID::type by char string
|
file | diff | annotate |
| Fri, 14 Dec 2018 18:46:04 +0100 |
[-Test_Isac] funpack: prep. replace ID::type by char string
|
file | diff | annotate |
| Mon, 26 Mar 2018 07:28:39 +0200 |
Rule: structure pushed to code files
|
file | diff | annotate |
| 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 |