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.
observe distinction between sets and predicates
20110914, by boehmes
merged
20110914, by nipkow
cleand up AbsInt fixpoint iteration; tuned syntax
20110914, by nipkow
tuned proofs
20110913, by huffman
tuned proofs
20110913, by huffman
remove some redundant [simp] declarations;
20110913, by huffman
tune proofs
20110913, by noschinl
tune simpset for Complete_Lattices
20110913, by noschinl
merged
20110913, by bulwahn
added lemma motivated by a more specific lemma in the AFPKBPs theories
20110913, by bulwahn
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
merged
20110912, by bulwahn
correcting imports after splitting and renaming AssocList
20110912, by bulwahn
tuned
20110912, by bulwahn
moving connection of association lists to Mappings into a separate theory
20110912, by bulwahn
adding NEWS and CONTRIBUTORS
20110912, by bulwahn
less
more

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