description"Misc Mercurial repositories"
ownerunknown
last changeSun, 24 May 2020 09:04:25 +0200
changes
2 days ago ago nipkow reorganised sorted_set_of_list default tip
2 days ago ago nipkow merged
2 days ago ago nipkow simpler inductions
2 days ago ago paulson deleted a duplicate theorem
2 days ago ago paulson a few new lemmas about functions
3 days ago ago nipkow comment makes no sense
4 days ago ago nipkow added simp lemma
4 days ago ago haftmann slightly more specific implementations
4 days ago ago haftmann tuned module name space for generated code
4 days ago ago nipkow unused alias
...
tags
6 weeks ago ago Isabelle2020
2 months ago ago Isabelle2020-RC1
3 months ago ago Isabelle2020-RC0
12 months ago ago Isabelle2019
12 months ago ago Isabelle2019-RC2
12 months ago ago Isabelle2019-RC1
14 months ago ago Isabelle2019-RC0
21 months ago ago Isabelle2018
2017-10-04 ago Isabelle2017
2016-12-12 ago Isabelle2016-1
...
branches
2 days ago ago 86cfb9fa3da8 default
...