| 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 |