Admin/page/dist-content/docs.content
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);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
%title%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     2
Isabelle Documentation
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     3
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     4
%body%
10006
wenzelm
parents: 9934
diff changeset
     5
<!-- _GP_ distname --> documentation is included here as browsable PDF
wenzelm
parents: 9934
diff changeset
     6
for convenience.  These documents are also part of the standard
10162
wenzelm
parents: 10018
diff changeset
     7
Isabelle distribution.  For getting started with Isabelle quickly, we
wenzelm
parents: 10018
diff changeset
     8
recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a>.
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     9
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    10
<!-- _GP_ include("$pwd/docu-contents.dist") -->
10016
3833b58a5d88 improved pages;
wenzelm
parents: 10006
diff changeset
    11
10162
wenzelm
parents: 10018
diff changeset
    12
The Isabelle distribution also includes a few text files with further
wenzelm
parents: 10018
diff changeset
    13
information about the present release and additional installation
wenzelm
parents: 10018
diff changeset
    14
instructions.
10016
3833b58a5d88 improved pages;
wenzelm
parents: 10006
diff changeset
    15
<ul>
11109
wenzelm
parents: 10162
diff changeset
    16
<li><!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
wenzelm
parents: 10162
diff changeset
    17
<li><!-- _GP_ href(distname . "/README.html", "README") -->
wenzelm
parents: 10162
diff changeset
    18
<li><!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
wenzelm
parents: 10162
diff changeset
    19
<li><!-- _GP_ href(distname . "/NEWS", "NEWS") -->
10016
3833b58a5d88 improved pages;
wenzelm
parents: 10006
diff changeset
    20
</ul>
10162
wenzelm
parents: 10018
diff changeset
    21
wenzelm
parents: 10018
diff changeset
    22
<p>
wenzelm
parents: 10018
diff changeset
    23
wenzelm
parents: 10018
diff changeset
    24
Use the mailing list <a href="mailto:
wenzelm
parents: 10018
diff changeset
    25
isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
wenzelm
parents: 10018
diff changeset
    26
<a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss
wenzelm
parents: 10018
diff changeset
    27
problems and results.  Why not <a
wenzelm
parents: 10018
diff changeset
    28
href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?