Admin/page/dist-content/docs.content
author wenzelm
Wed, 13 Sep 2000 22:49:17 +0200
changeset 9954 734e0ec40f44
parent 9934 aea053733eb0
child 10006 ede5f78b9398
permissions -rw-r--r--
dummy (generated by makedist);

%title%
Isabelle Documentation

%body%
The Isabelle documentation:

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

All this documentation is also part of the Isabelle distribution (both
as dvi and pdf).