Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
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.
tuned headers
20110909, by nipkow
Library/Saturated.thy: number_semiring class instance
20110908, by huffman
remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right}
20110908, by huffman
merged
20110908, by huffman
remove unnecessary intermediate lemmas
20110908, by huffman
added syntactic classes for "inf" and "sup"
20110909, by krauss
prove existence, uniqueness, and other properties of complex arg function
20110908, by huffman
tuned
20110908, by huffman
remove obsolete intermediate lemma complex_inverse_complex_split
20110908, by huffman
tuned
20110908, by huffman
merged
20110908, by haftmann
tuned
20110908, by haftmann
merged
20110908, by haftmann
merged
20110907, by haftmann
merged
20110906, by haftmann
merged
20110906, by haftmann
merged
20110906, by haftmann
tuned
20110905, by haftmann
merged
20110905, by haftmann
tuned
20110905, by haftmann
tuned
20110904, by haftmann
fixed computation of "in_conj" for polymorphic encodings
20110908, by blanchet
add some new lemmas about cis and rcis;
20110907, by huffman
Complex.thy: move theorems into appropriate subsections
20110907, by huffman
merged
20110907, by huffman
remove redundant lemma complex_of_real_minus_one
20110907, by huffman
simplify proof of lemma DeMoivre, removing unnecessary intermediate lemma
20110907, by huffman
removed unused lemma sin_cos_squared_add2_mult
20110907, by huffman
remove duplicate lemma real_of_int_real_of_nat in favor of real_of_int_of_nat_eq
20110907, by huffman
avoid using legacy theorem names
20110907, by huffman
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
tip