General
The package overview below refers to all individual bits and pieces for Isabelle2009-1, Poly/ML, Proof General, and various add-on tools. Some components require manual configuration, by editing etc/settings
or etc/components
, either within the Isabelle installation itself or the user's .isabelle
directory.
Note that there are more convenient ways of installation.
Past releases are available from the archive.
Some internal repository version of Isabelle is also available (not for production use).
Isabelle2009-1 packages
Main distribution | ||
Isabelle sources and documentation | Isabelle2009-1.tar.gz | 20.1 MB |
Poly/ML sources and binaries | polyml-5.3.0.tar.gz | 18.8 MB |
Proof General | ProofGeneral-3.7.1.1.tar.gz | 1.9 MB |
Add-on tools | ||
E prover (for Sledgehammer) | E-1.0-004.tar.gz | 2.4 MB |
SPASS (for Sledgehammer) | spass-3.0.tar.gz | 3.6 MB |
Kodkodi (for Nitpick) | kodkodi-1.2.7.tar.gz | 2.0 MB |
Haskabelle | Haskabelle2009-1.tar.gz | 0.2 MB |
Precompiled logics
Platform
Logic images | ||
HOL | HOL_x86-linux.tar.gz | 43.6 MB |
HOL-Nominal | HOL-Nominal_x86-linux.tar.gz | 45.0 MB |
HOLCF | HOLCF_x86-linux.tar.gz | 49.8 MB |
ZF | ZF_x86-linux.tar.gz | 9.8 MB |