1
%title%
2
Isabelle Documentation
3
4
%body%
5
The Isabelle documentation:
6
7
<!-- _GP_ include("$pwd/docu-contents.dist") -->
8
9
All this documentation is also part of the Isabelle <a href="source.html">distribution</a>.