Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+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.
fix reference to dist_def
20090528, by huffman
definition of dist for complex
20090528, by huffman
fix references to dist_def
20090528, by huffman
define dist for products
20090528, by huffman
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
encode gaugefine partitions with lists instead of functions; remove lots of unnecessary lemmas
20090526, by huffman
listsum lemmas
20090526, by huffman
clean up some rsum proofs
20090526, by huffman
weakend references to old axclass
20090526, by haftmann
clarified benefit of interpretation
20090526, by haftmann
documented print_codeproc command
20090526, by haftmann
use interval sets with gauge predicate
20090525, by huffman
clean up some proofs
20090525, by huffman
tuned whitespace
20090524, by haftmann
funpow_yield; tuned
20090524, by haftmann
tuned class user space type system code
20090524, by haftmann
dropped Id
20090524, by haftmann
refined construction_interpretation
20090524, by haftmann
exported find_shorzes_path
20090524, by haftmann
merged
20090524, by haftmann
fixed superficial ML lapses introduced in b3c7044d47b6;
20090527, by wenzelm
simplified method syntax;
20090525, by wenzelm
modernized method setup;
20090525, by wenzelm
modernized method setup;
20090525, by wenzelm
proper signature constraints;
20090525, by wenzelm
adapted to Poly/ML SVN 744;
20090525, by wenzelm
removed some obsolete combinators for method args;
20090523, by wenzelm
proper indentation;
20090523, by wenzelm
proper signature constraint;
20090523, by wenzelm
adapted to Poly/ML SVN 719;
20090523, by wenzelm
getenv_strict needs to be based on getenv (accidentally broken in 0e88d33e8d19);
20090523, by wenzelm
less
more

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