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
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.
NEWS;
20121117, by wenzelm
tuned structure of Isabelle/HOL;
20121117, by wenzelm
method setup for Classical steps;
20121117, by wenzelm
tuned signature;
20121117, by wenzelm
updated keywords;
20121117, by wenzelm
moved (b)choice_iff(') to Hilbert_Choice
20121116, by hoelzl
move theorems to be more generally useable
20121116, by hoelzl
merged
20121116, by wenzelm
made SML/NJ happy;
20121116, by wenzelm
renamed prob_space to proj_prob_space as it clashed with Probability_Measure.prob_space
20121116, by hoelzl
renamed measurable_compose > measurable_finmap_compose, clashed with Sigma_Algebra.measurable_compose
20121116, by hoelzl
measurability for nat_case and comb_seq
20121116, by hoelzl
rules for AE and prob
20121116, by hoelzl
rules for intergration: integrating natfunctions, integrals on finite measures, constant multiplication
20121116, by hoelzl
more measurability rules
20121116, by hoelzl
renamed to more appropriate lim_P for projective limit
20121116, by immler
allow arbitrary enumerations of basis in locale for generation of borel sets
20121116, by immler
repaired slip accidentally introduced in 57209cfbf16b
20121115, by haftmann
prefer implementation in HOL;
20121115, by haftmann
corrected headers
20121115, by immler
hide constants of auxiliary type finmap
20121115, by immler
generalized to copy of countable types instead of instantiation of nat for discrete topology
20121115, by immler
added projective limit;
20121115, by immler
regularity of measures, therefore:
20121115, by immler
tuned  eliminated obsolete citation of isabelleref;
20121115, by wenzelm
updated basic equality rules;
20121112, by wenzelm
removed somewhat pointless historic material;
20121112, by wenzelm
updated unification options;
20121111, by wenzelm
removed some historic material that is obsolete or rarely used;
20121111, by wenzelm
tuned;
20121111, by wenzelm
less
more

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