Current stable version (for current Isabelle release): |
|
[]:
afp-.tar.gz
|
Older stable versions: |
Please use the sourceforge
download system to access older versions of the archive. |
Mercurial access: |
At Bitbucket |
How to refer to AFP entries: |
You can refer to AFP entries by using the AFP as an Isabelle component. |