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
+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.
removed obsolete YXML/XML.detect;
20090605, by wenzelm
Approximation: Corrected precision of ln on all real values
20090605, by hoelzl
Approximation: Implemented argument reduction for cosine. Sinus is now implemented in terms of cosine. Sqrt computes on the entire real numbers
20090604, by hoelzl
CONTRIBUTORS
20090605, by haftmann
merged
20090605, by haftmann
tuned proofs
20090605, by haftmann
added mk_valtermify_app and mk_random
20090605, by haftmann
Set.insert with authentic syntax
20090605, by haftmann
merged
20090605, by haftmann
Set.insert with authentic syntax
20090605, by haftmann
added trees implementing mappings
20090604, by haftmann
avoid Library.foldl_map
20090604, by haftmann
class replaces axclass
20090604, by haftmann
insert now qualified and with authentic syntax
20090604, by haftmann
lemma about List.foldl and Finite_Set.fold
20090604, by haftmann
dropped legacy ML bindings; tuned
20090604, by haftmann
lemmas about basic set operations and Finite_Set.fold
20090604, by haftmann
merged
20090605, by nipkow
new lemma
20090605, by nipkow
merged
20090605, by huffman
fix type of hnorm
20090605, by huffman
define netlimit in terms of eventually
20090604, by huffman
generalize type of 'at' to topological_space; generalize some lemmas
20090604, by huffman
add extra type constraints for dist, norm
20090604, by huffman
generalize norm method to work over class real_normed_vector
20090604, by huffman
example settings for Poly/ML 5.3 (experimental);
20090604, by wenzelm
uniform (short) ids on both sides;
20090604, by wenzelm
merged
20090604, by wenzelm
finite lemmas
20090604, by nipkow
made SML/NJ happy
20090604, by haftmann
less
more

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