### 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.