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
+14
+100
+300
+1000
+3000
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
23 months ago, by paulson
Tidied some really messy proofs
23 months ago, by paulson
added lemmas asymp_not_liftable_to_multpHO and asymp_multpHO
23 months ago, by desharna
Simplified a few proofs
23 months ago, by paulson
Moved up a theorem
23 months ago, by paulson
Limit properties for complex exponential
23 months ago, by paulson
More of Eberl's contributions: memomorphic functions
23 months ago, by paulson
merged
23 months ago, by paulson
New material due to Eberl on Formal Laurent Series
23 months ago, by paulson
merged
23 months ago, by paulson
A bit more tidying and some new material
23 months ago, by paulson
removed rarely used error in Sledgehammer
23 months ago, by blanchet
merged
23 months ago, by nipkow
tuned
23 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
tip