Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
11 hours ago, by paulson
merged
15 hours ago, by paulson
More tidying and some variable renaming
15 hours ago, by paulson
dropped problematic code equation for multisets for RBT code testing
15 hours ago, by Manuel Eberl
removed possible problematic dependency in HOL-Library.Multiset
18 hours ago, by Manuel Eberl
HOL-Library: multisets of a given size
20 hours ago, by Manuel Eberl
some facts about derivatives of products
21 hours ago, by Manuel Eberl
more about formal convergence of power series
4 days ago, by Manuel Eberl
removed name clash in some lemmas
4 days ago, by Manuel Eberl
added orphaned theory to HOL-Analysis
4 days ago, by Manuel Eberl
some facts about power series
4 days ago, by Manuel Eberl
moved some lemmas to where they fit better
4 days ago, by Manuel Eberl
more efficient conversions for symbolic representations
2 days ago, by haftmann
notes on bit shift rewrites
2 days ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
tip