descriptionThe Isabelle repository
ownerisabelle
last changeWed, 22 May 2019 22:18:45 +0200
changes
3 days ago Lars Hupel 2019-05-22 Finite_Map: move lemmas from LambdaAuth AFP entry credits: Matthias Brun, Dmitriy Traytel default tip
5 days ago krauss 2019-05-21 documentation for termination_simp attribute
5 days ago nipkow 2019-05-21 strengthened lemma
5 days ago nipkow 2019-05-20 tuned names
9 days ago nipkow 2019-05-16 tuned name
10 days ago nipkow 2019-05-16 tuned
11 days ago paulson 2019-05-15 a few general lemmas
11 days ago paulson 2019-05-15 Generalisations involving numerals; comparisons should now work for ennreal
11 days ago nipkow 2019-05-14 tuned
11 days ago nipkow 2019-05-14 tuned names
...
tags
2 weeks ago Isabelle2019-RC2
3 weeks ago Isabelle2019-RC1
7 weeks ago Isabelle2019-RC0
9 months ago Isabelle2018
19 months ago Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
...
branches
3 days ago ac24aaf84a36 default
...