| Wed, 11 Jan 2023 11:38:01 +0100 | eliminate use of Thy_Info 12: TermC partially | file | diff | annotate |
| Sun, 09 Oct 2022 09:01:29 +0200 | eliminate term2str in doc-isac | file | diff | annotate |
| Tue, 17 Sep 2013 09:50:52 +0200 | separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc) | file | diff | annotate | base |