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 distribution (both
10
as dvi and pdf).