Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
afp-devel
Manage
Activity
Members
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Model registry
Analyze
Contributor analytics
Repository analytics
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
isa-afp
afp-devel
Tags
Tags
Tags give the ability to mark specific points in history as being important
Updated date
Name
Oldest updated
Updated date
Latest version
Oldest version
Isabelle2011-1
protected
4b1545a5
·
merged
·
13 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2012
protected
0b0f248c
·
add probably_innocent
·
12 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2013
protected
bfe8d4f2
·
Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows
·
12 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2013-1
protected
54a73366
·
no unfolding, which would lead to problems in code generation (rs_set)
·
11 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2013-2
protected
54a73366
·
no unfolding, which would lead to problems in code generation (rs_set)
·
11 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2014
protected
600fb0bf
·
tuned layout; define shows_prec for rat without detour via show_rat
·
10 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2015
protected
c3f0cc60
·
last merge from afp-2014
·
9 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2016
protected
8927414c
·
Abortable_Linearizable_Modules: changed email in config
·
9 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2016-1
protected
84bcab88
·
tuning
·
8 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2017
protected
5d0678c7
·
updated imports;
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2018
protected
234a91c2
·
bump version to (anticipated) 2018
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2021-1
protected
11f8b03a
·
adjust usage version
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2022
protected
548e384c
·
import 2022 release dates
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2023
protected
01bf5fad
·
add 2023 release dates
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2024
protected
361b8b64
·
add Isabelle2024 releases
·
10 months ago
Download
Download source code
zip
tar.gz
tar.bz2
tar