Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
afp-2023
Manage
Activity
Members
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Model registry
Analyze
Contributor analytics
Repository analytics
Model experiments
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-2023
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
4b1545a58891
·
merged
·
13 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2012
0b0f248c0775
·
add probably_innocent
·
12 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2013
bfe8d4f24e47
·
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
54a733668be9
·
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
54a733668be9
·
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
600fb0bf56a2
·
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
c3f0cc60baf4
·
last merge from afp-2014
·
9 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2016
8927414c8684
·
Abortable_Linearizable_Modules: changed email in config
·
9 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2016-1
84bcab88c95f
·
tuning
·
8 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2017
5d0678c77502
·
updated imports;
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2018
234a91c26d02
·
bump version to (anticipated) 2018
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2021-1
11f8b03a88ad
·
adjust usage version
·
3 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2022
548e384c0445
·
import 2022 release dates
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
Isabelle2023
01bf5fad3e59
·
add 2023 release dates
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar