author wenzelm
Thu, 15 Nov 2001 18:20:13 +0100
changeset 12207 4dff931b852f
parent 11109 ce1cefc6c14c
child 12845 66aaa0eb9069
permissions -rw-r--r--
added Induct/Binary_Trees.thy, Induct/Tree_Forest (converted from former ex/TF.ML ex/TF.thy ex/Term.ML ex/Term.thy);

Isabelle Documentation

<!-- _GP_ distname --> documentation is included here as browsable PDF
for convenience.  These documents are also part of the standard
Isabelle distribution.  For getting started with Isabelle quickly, we
recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a>.

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

The Isabelle distribution also includes a few text files with further
information about the present release and additional installation
<li><!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
<li><!-- _GP_ href(distname . "/README.html", "README") -->
<li><!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
<li><!-- _GP_ href(distname . "/NEWS", "NEWS") -->


Use the mailing list <a href="mailto:"></a> and its
<a href="">archive</a> to discuss
problems and results.  Why not <a