20121102 
hoelzl 
20121102 
add measurability prover; add support for Borel sets

file  diff  annotate 
20121102 
hoelzl 
20121102 
add syntax and a.e.rules for (conditional) probability on predicates

file  diff  annotate 
20121010 
hoelzl 
20121010 
add induction rule for intersectionstable sigmasets

file  diff  annotate 
20121010 
hoelzl 
20121010 
remove incseq assumption from measure_eqI_generator_eq

file  diff  annotate 
20121010 
hoelzl 
20121010 
tuned measurable_If; moved countably_additive equalities to Measure_Space; tuned proofs

file  diff  annotate 
20120425 
hoelzl 
20120425 
add Caratheodories theorem for semirings of sets

file  diff  annotate 
20120425 
hoelzl 
20120425 
moved lemmas to appropriate places

file  diff  annotate 
20120423 
hoelzl 
20120423 
reworked Probability theory

file  diff  annotate 