Download the Archive

 

Current stable version (for current Isabelle release):
[2017-02-14]: afp-2017-02-14.tar.gz
Older stable versions:
Please use the sourceforge download system to access older versions of the archive.
Mercurial access:
At Bitbucket
How to refer to AFP entries:
You can refer to AFP entries by using the AFP as an Isabelle component.