Download all sessions: afp-current.tar.gz (~70 MB)
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)
You can refer to AFP entries by using the AFP as an Isabelle component.