| 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 |
| Wed, 07 Feb 2018 10:24:16 +0100 | Isabelle2015->17: session identifiers enforced now | 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 |