description"Misc Mercurial repositories"
ownerunknown
last changeWed, 22 May 2019 22:18:45 +0200
changes
23 hours ago ago Lars Hupel Finite_Map: move lemmas from LambdaAuth AFP entry default tip
2 days ago ago krauss documentation for termination_simp attribute
2 days ago ago nipkow strengthened lemma
2 days ago ago krauss documentation for termination_simp attribute
3 days ago ago nipkow tuned names
7 days ago ago nipkow tuned name
7 days ago ago nipkow tuned
8 days ago ago paulson a few general lemmas
8 days ago ago paulson Generalisations involving numerals; comparisons should now work for ennreal
9 days ago ago nipkow tuned
...
tags
12 days ago ago Isabelle2019-RC2
2 weeks ago ago Isabelle2019-RC1
7 weeks ago ago Isabelle2019-RC0
9 months ago ago Isabelle2018
19 months ago ago Isabelle2017
2016-12-12 ago Isabelle2016-1
2016-02-15 ago Isabelle2016
2015-05-23 ago Isabelle2015
2014-08-18 ago Isabelle2014
2013-12-04 ago Isabelle2013-2
...
branches
23 hours ago ago ac24aaf84a36 default
...