| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Download the Archive
| 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 + At Bitbucket (development version of the Archive, for the development version of Isabelle) |
| How to refer to AFP entries: |
| You can refer to AFP entries by using the AFP as an Isabelle component. |