Current stable version (for most recent Isabelle release):
Download all sessions: afp-current.tar.gz (~70 MB)
Older stable versions:
Please use the sourceforge download system to access older versions of the archive.
At Heptapod (development version of the Archive, for the development version of Isabelle)
The metadata of all entries is available as an array of JSON objects: metadata.json (~1 MB)
How to refer to AFP entries:
You can refer to AFP entries by using the AFP as an Isabelle component.