descriptionThe Isabelle repository
ownerisabelle
last changeThu, 18 Apr 2019 16:34:04 +0200
changes
6 hours ago nipkow 2019-04-18 added lemma default tip
14 hours ago haftmann 2019-04-18 incorporated various material from the AFP into the distribution
28 hours ago haftmann 2019-04-17 backed out experimental b67bab2b132c, which slipped in accidentally
16 hours ago nipkow 2019-04-18 merged
25 hours ago nipkow 2019-04-17 added lemmas
24 hours ago paulson 2019-04-17 moved subset_image_inj into Hilbert_Choice
28 hours ago paulson 2019-04-17 Lindelöf spaces and supporting material
2 days ago haftmann 2019-04-16 hierarchically inclusive named theorem collections
2 days ago haftmann 2019-04-16 removed unused fact collections
2 days ago haftmann 2019-04-16 eliminated type class
...
tags
2 weeks ago Isabelle2019-RC0
8 months ago Isabelle2018
18 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
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
...
branches
6 hours ago a7aba6db79a1 default
...