| Wed, 11 Jan 2023 11:38:01 +0100 | eliminate use of Thy_Info 12: TermC partially | file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 | rename fields in Method_Def.T | file | diff | annotate |
| Sun, 25 Apr 2021 12:49:37 +0200 | cleanup remaining ^^^ in comments, finished (?) | file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
| Sat, 16 May 2020 16:54:39 +0200 | shift code from Specification to P_Model, rename ids | file | diff | annotate |
| Thu, 22 Feb 2018 17:55:29 +0100 | LTool: cleanup test file | file | diff | annotate |
| Mon, 07 Dec 2015 11:25:02 +0100 | Isabelle2014-->15: term_of-->Thm.term_of | file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 | renamed isac's directories and Build_Isac.thy | file | diff | annotate | base |