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