| Current stable version (for current Isabelle
release): |
|
2008-07-26:
afp-current.tar.gz
[ 2.4M]
|
| Older stable versions: |
| Please use the sourceforge
download system to access older versions of the archive. |
| Development snapshot (for development snapshot
of Isabelle): |
|
2008-08-19:
afp-devel.tar.gz
[ 2.4M]
[entry status]
|
| CVS access: |
| Please refer to
the description on
sourceforge. Use thys as module name. You can also browse the repository
online |