Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+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.
more lemmas
14 months ago, by haftmann
new lemmas involving Ramsey numbers, infinite sets
14 months ago, by paulson
simplified class specification
15 months ago, by haftmann
Removal of duplicate code
15 months ago, by paulson
Two new theorems
15 months ago, by paulson
more lemmas and more correct lemma names
15 months ago, by haftmann
NEWS: corrected the definition of convexity of functions
15 months ago, by paulson
Further lemmas concerning complexity and measures
15 months ago, by paulson
Correct the definition of a convex function, and updated the proofs
15 months ago, by paulson
merged;
15 months ago, by wenzelm
update to windows_app-20240205, with executables for linux, linux_arm, macos;
15 months ago, by wenzelm
omit redundant options;
15 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
tip