doc-isac/mat-eng-de.tex
Wed, 11 Jan 2023 11:38:01 +0100 eliminate use of Thy_Info 12: TermC partially
Mon, 07 Nov 2022 17:37:20 +0100 rename fields in Method_Def.T
Sun, 09 Oct 2022 09:01:29 +0200 eliminate term2str in doc-isac
Thu, 04 Aug 2022 12:48:37 +0200 polish naming in Rewrite_Order
Thu, 22 Dec 2016 11:36:20 +0100 renamed Ctree.ptree --> Ctree.ctree
Tue, 17 Sep 2013 09:50:52 +0200 separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)