%title%Isabelle Documentation%body%<!-- _GP_ distname --> documentation is included here as browsable PDFfor convenience. These documents are also part of the standardIsabelle <a href="dist/">distribution</a>.<!-- _GP_ include("$pwd/docu-contents.main") -->