Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
Isabelle2018
234a91c26d02
·
bump version to (anticipated) 2018
·
Jul 24, 2018
Isabelle2017
5d0678c77502
·
updated imports;
·
Sep 28, 2017
Isabelle2016-1
84bcab88c95f
·
tuning
·
Nov 30, 2016
Isabelle2016
8927414c8684
·
Abortable_Linearizable_Modules: changed email in config
·
Feb 13, 2016
Isabelle2015
c3f0cc60baf4
·
last merge from afp-2014
·
May 28, 2015
Isabelle2014
600fb0bf56a2
·
tuned layout; define shows_prec for rat without detour via show_rat
·
Aug 14, 2014
Isabelle2013-1
54a733668be9
·
no unfolding, which would lead to problems in code generation (rs_set)
·
Oct 23, 2013
Isabelle2013-2
54a733668be9
·
no unfolding, which would lead to problems in code generation (rs_set)
·
Oct 23, 2013
Isabelle2013
bfe8d4f24e47
·
Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows
·
Jan 28, 2013
Isabelle2012
0b0f248c0775
·
add probably_innocent
·
May 23, 2012
Isabelle2011-1
4b1545a58891
·
merged
·
Oct 10, 2011