description"Misc Mercurial repositories"
ownerunknown
last changeWed, 25 Sep 2019 17:22:57 +0200
changes
3 weeks ago ago nipkow replaced new type ('a,'b) tree by old type ('a*'b) tree. default tip
3 weeks ago ago nipkow merged
3 weeks ago ago wenzelm some information about Phabricator server setup;
3 weeks ago ago nipkow merged
3 weeks ago ago paulson More type class generalisations. Note that linorder_antisym_conv1 and linorder_antisym_conv2 no longer exist.
3 weeks ago ago nipkow simplified proofs
3 weeks ago ago nipkow merged
3 weeks ago ago paulson Generalisation of many theorems to a more abstract type class (suggested by Mr Anonymous)
3 weeks ago ago nipkow Enforced precodition "n <= length xs" to avoid relying on "hd []".
3 weeks ago ago nipkow tuned
...
tags
4 months ago ago Isabelle2019
5 months ago ago Isabelle2019-RC2
5 months ago ago Isabelle2019-RC1
6 months ago ago Isabelle2019-RC0
14 months ago ago Isabelle2018
2017-10-04 ago Isabelle2017
2016-12-12 ago Isabelle2016-1
2016-02-15 ago Isabelle2016
2015-05-23 ago Isabelle2015
2014-08-18 ago Isabelle2014
...
branches
3 weeks ago ago 3fb16bed5d6c default
...