doc-isac/tactics.tex
Tue, 17 Sep 2013 09:50:52 +0200 separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)