descriptionThe Isabelle repository
ownerisabelle
last changeWed, 11 Jul 2018 09:43:48 +0200
changes
5 weeks ago nipkow 2018-07-11 (re)moved lemmas default tip
5 weeks ago nipkow 2018-07-11 updated to renaming
2 days ago wenzelm 2018-08-15 updated common hosts;
2 days ago wenzelm 2018-08-15 merged
2 days ago wenzelm 2018-08-15 Added tag Isabelle2018 for changeset 91162dd89571
2 days ago wenzelm 2018-08-15 merged
2 days ago wenzelm 2018-08-15 canonical session directories in correspondence to Known.files;
3 days ago paulson 2018-08-14 Zorn's lemma for relations defined by predicates
5 days ago wenzelm 2018-08-12 merged
5 days ago wenzelm 2018-08-12 proper session dirs; Isabelle2018
...
tags
5 days ago Isabelle2018
11 days ago Isabelle2018-RC4
2 weeks ago Isabelle2018-RC3
3 weeks ago Isabelle2018-RC2
6 weeks ago Isabelle2018-RC1
2 months ago Isabelle2018-RC0
10 months ago Isabelle2017
20 months ago Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
...
branches
5 weeks ago f221bc388ad0 default
...