Download the Archive

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.

Mercurial access:

The AFP repositories with tooling and metadata can be found at Heptapod. In particular, the development version of the Archive (for the development version of Isabelle) is available there.

How to refer to AFP entries:

You can refer to AFP entries by using the AFP as an Isabelle component.

The AFP repository is hosted on Heptapod, a friendly fork of GitLab for Mercurial provided by Octobus and Clever Cloud.

Octobus and Clever Cloud logos