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 JavaScriptenabled browsers.
some more random results
20180416, by paulson
more results about measure and negligibility
20180416, by paulson
explicit simp rules for computing abstract bit operations
20180416, by haftmann
more and generalized lemmas
20180415, by haftmann
quite a few more results about negligibility, etc., and a bit of tidying up
20180415, by paulson
merged
20180415, by paulson
a few more results
20180415, by paulson
added bottomup merge sort
20180415, by nipkow
various new results on measures, integrals, etc., and some simplified proofs
20180415, by paulson
more new theorems on real^1, matrices, etc.
20180414, by paulson
a few new theorems and some fixes
20180414, by paulson
new material about vec, real^1, etc.
20180414, by paulson
merged
20180413, by paulson
Probability builds with new definitions
20180413, by paulson
less
more

(0)
30000
10000
3000
1000
300
100
14
+14
+100
+300
+1000
+3000
tip