1
%title%
2
Isabelle Documentation
3
4
%body%
5
<!-- _GP_ distname --> documentation is included here as browsable PDF
6
for convenience. These documents are also part of the standard
7
Isabelle distribution.
8
9
<!-- _GP_ include("$pwd/docu-contents.dist") -->