Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
D
ownload the
A
rchive
Current stable version
(for current Isabelle release):
afp-current.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
.