Mercurial
Mercurial
>
repos
>
testboard
/ 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.
simplified unsound proof detection by removing impossible case
20110913, by blanchet
correcting NEWS
20110913, by bulwahn
correcting theory name and dependencies
20110913, by bulwahn
renamed AList_Impl to AList
20110913, by bulwahn
fastsimp > fastforce in doc
20110913, by nipkow
fix typo
20110912, by huffman
shorten proof of frontier_straddle
20110912, by huffman
NEWS and CONTRIBUTORS
20110912, by huffman
remove redundant lemma Lim_sequentially in favor of lemma LIMSEQ_def
20110912, by huffman
simplify proofs using LIMSEQ lemmas
20110912, by huffman
remove trivial lemma Lim_at_iff_LIM
20110912, by huffman
fix typos
20110912, by huffman
NEWS for euclidean_space class
20110912, by huffman
move lemmas about complex number 'i' to Complex.thy and Library/Inner_Product.thy
20110912, by huffman
adding NEWS and CONTRIBUTORS
20110912, by hoelzl
less
more

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