Thu, 15 Mar 2018 10:17:44 +0100 | separate structure Celem: CALC_ELEMENT, all but Knowledge/ | file | diff | annotate |
Wed, 14 Feb 2018 12:20:35 +0100 | separate structure LTools : LANGUAGE_TOOLS | file | diff | annotate |
Tue, 06 Feb 2018 15:20:52 +0100 | Isabelle2015->17: theory formad changed | file | diff | annotate |
Mon, 04 Aug 2014 17:03:55 +0200 | CLEANUP since 347cf013dee3 and restored Test_Isac | file | diff | annotate |
Thu, 31 Jul 2014 16:55:22 +0200 | removed outdated test on thy-hierarchy | file | diff | annotate |
Fri, 13 Jun 2014 10:29:06 +0200 | last the_generic_context (in fun prep_rls) removed. | file | diff | annotate |
Mon, 17 Mar 2014 15:20:15 +0100 | re-establish tests for thehier | file | diff | annotate |