Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+100
+300
+1000
+3000
+10000
+30000
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.
ignore insitu contrib symlinks
20090616, by haftmann
datatype packages: record datatype_config for configuration flags; less verbose signatures
20090616, by haftmann
dropped ID
20090616, by haftmann
denominator should not be zero
20090616, by haftmann
tuned brackets for let expressions etc.
20090616, by haftmann
merged
20090616, by huffman
smult_dvd lemmas; polynomial gcd
20090616, by huffman
generalize lemmas dvd_mod and dvd_mod_iff to class semiring_div
20090615, by huffman
move lemma div_power into semiring_div context; class ring_div inherits from idom
20090615, by huffman
generalize many constants and lemmas from Convex_Euclidean_Space
20090613, by huffman
generalize lemma connected_real_lemma
20090613, by huffman
generalize lemmas
20090613, by huffman
replace uses of (bi)linear with bounded_(bi)linear
20090613, by huffman
new continuous/vimage lemmas; cleaned up proofs
20090613, by huffman
generalize constants netlimit and continuous
20090613, by huffman
less
more

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