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.
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
less
more

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