Download the Archive

 

Current stable version (for current Isabelle release):

[2013-05-02]: afp-2013-05-02.tar.gz

Older stable versions:

Please use the sourceforge download system to access older versions of the archive.

Development snapshot (for development snapshot of Isabelle):

Friday, 24-May-2013 07:36:21 UTC: afp-devel.tar.gz   [8.3M] [entry status]

Mercurial access:

Please refer to the description on sourceforge. You can also browse the development repository online.

How to refer to AFP entries:

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