Thu, 04 Aug 2022 12:48:37 +0200 | polish naming in Rewrite_Order | file | diff | annotate |
Thu, 22 Dec 2016 11:36:20 +0100 | renamed Ctree.ptree --> Ctree.ctree | 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 |