Sat, 28 Jan 2023 13:21:39 +0100 | cleanup parse #1: start eliminate parseNEW | file | diff | annotate |
Mon, 07 Nov 2022 17:37:20 +0100 | rename fields in Method_Def.T | file | diff | annotate |
Sun, 09 Oct 2022 09:01:29 +0200 | eliminate term2str in doc-isac | file | diff | annotate |
Mon, 20 Jun 2022 18:37:54 +0200 | rename functions in o-model.sml | 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 |