SourceForge.net Logo
project summary

 

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.