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.
ISABELLE_USEDIR_OPTIONS: proper word splitting of quoted options (via array variable and special expansion, cf. "$@");
20090530, by wenzelm
eliminated old Attrib.add_attributes (and Attrib.syntax);
20090530, by wenzelm
modernized attribute setup;
20090530, by wenzelm
eliminated old Method.add_method(s);
20090530, by wenzelm
removed obsolete combinators for method args;
20090530, by wenzelm
proper signature constraint;
20090530, by wenzelm
minimal signature cleanup;
20090530, by wenzelm
modernized method setup;
20090530, by wenzelm
modernized method setup;
20090530, by wenzelm
tuned;
20090530, by wenzelm
tuned;
20090530, by wenzelm
simps with mandatory name prefix
20090530, by haftmann
corrected bound/unbounded flag for nat numerals
20090530, by haftmann
removed dead theory Relation_Power
20090529, by haftmann
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
less
more

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