Admin/page/dist-content/docs.content

use HOLogic.Not;
export indexify_names;

%title%
Isabelle Documentation

%body%
The Isabelle documentation:

<!-- _GP_ include("$pwd/docu-contents.dist") -->

All this documentation is also part of the Isabelle <a href="source.html">distribution</a>.