doc-isac/CTP-userinterfaces.tex
Mon, 07 Nov 2022 17:37:20 +0100 rename fields in Method_Def.T
Tue, 17 Sep 2013 09:50:52 +0200 separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)