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
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.
reordered assumption and tuned proof of Multiset.bex_least_element and Multiset.bex_greatest_element
default
tip
3 days ago, by desharna
added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element
3 days ago, by desharna
refactored proofs
3 days ago, by desharna
added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element
3 days ago, by desharna
reversed import dependency between Relation and Finite_Set; and move theorems around
3 days ago, by desharna
more operations;
3 days ago, by wenzelm
clarified theory_sizeof1_data: count bytes, individually for each data entry;
3 days ago, by wenzelm
clarified operations for ML object sizes;
3 days ago, by wenzelm
merged
4 days ago, by paulson
simplified a lot of messy proofs
4 days ago, by paulson
merged
5 days ago, by desharna
added lemma multp_repeat_mset_repeat_msetI
6 days ago, by desharna
less
more

(0)
30000
10000
3000
1000
300
100
12
tip