author wenzelm
Wed, 10 May 2000 16:43:10 +0200
changeset 8851 d816ec3fab28
parent 8841 95f2b61f2389
child 9920 9734f2717203
permissions -rw-r--r--

Isabelle Source Distribution

The standard source distribution of Isabelle:


<!-- _GP_ setdowncolor("#E0E0E0") -->

<table border="0" cellspacing="5" cellpadding="4" width="500">

  <!-- _GP_ download("Isabelle sources with dvi documentation", "{ISABELLE}.tar.gz", "{PACKED_SIZE} K") -->
  <!-- _GP_ download("Documentation as pdf files", "{ISABELLE}_pdf.tar.gz", "{PACKED_SIZE_PDF} K") -->
  <!-- _GP_ download("Browse all files unpacked", "{ISABELLE}", "{UNPACKED_SIZE} K") -->



Please see the Isabelle <a href="{ISABELLE}/README.html">README</a>
and <a href="{ISABELLE}/INSTALL">INSTALL</a> files for more


Use the mailing list <a href=""></a>
to discuss problems and results.  (Why not <A HREF="">subscribe</A>?)