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.
move dist operation to new metric_space class
20090528, by huffman
remove hard tabs, fix indentation
20090528, by huffman
use class field_char_0
20090528, by huffman
merged
20090528, by huffman
generalize dist function to class real_normed_vector
20090528, by huffman
added remark to code
20090528, by bulwahn
Removed Convex_Euclidean_Space.thy from Library.
20090528, by himmelma
Moved some lemmas about intervals to Topology
20090528, by himmelma
Corrected definition of is_interval
20090528, by himmelma
corrected problem in Determinants
20090528, by himmelma
Corrected error in Convex_Euclidean_Space
20090528, by himmelma
Added Convex_Euclidean_Space to Library.thy and Library/IsaMakefile
20090528, by himmelma
merged
20090528, by himmelma
Added Convex_Euclidean_Space.thy
20090528, by himmelma
Changed prioriy of vector_scalar_mult
20090528, by himmelma
addition formulas for fps_sin, fps_cos
20090528, by huffman
use class field_char_0 for fps definitions
20090528, by huffman
merged
20090527, by huffman
add constants sin_coeff, cos_coeff
20090527, by huffman
merged
20090527, by wenzelm
tuned signature of add_primrec_simple
20090527, by haftmann
added lemma select_weight_cons_zero
20090527, by haftmann
added lemma beyond_zero; hide constants
20090527, by haftmann
added lemma about 0  1
20090527, by haftmann
merged
20090527, by wenzelm
more lemmas
20090527, by nipkow
merged
20090527, by haftmann
add_primrec_simple
20090526, by haftmann
dropped superfluos prefixes
20090526, by haftmann
separate module for quickcheck generators
20090526, by haftmann
less
more

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