isabelle: Graph

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

merged
2010-09-02, by hoelzl
Updated proofs in Dining Cryptographers theory
2010-09-02, by hoelzl
Corrected definition and hence removed sorry.
2010-09-02, by hoelzl
Moved lemmas to appropriate locations
2010-09-02, by hoelzl
merged
2010-09-02, by hoelzl
merged
2010-09-02, by hellerar
measure unique
2010-09-02, by hellerar
merge
2010-09-01, by hellerar
move lemmas to correct theory files
2010-09-02, by hoelzl
factorizable measurable functions
2010-08-27, by hoelzl
Introduced sigma algebra generated by function preimages.
2010-08-27, by hoelzl
vimage of measurable function is a measure space
2010-08-27, by hoelzl
Measurable on product space is equiv. to measurable components
2010-08-27, by hoelzl
Measurable on euclidean space is equiv. to measurable components
2010-08-27, by hoelzl
preimages of open sets over continuous function are open
2010-08-27, by hoelzl
added definition of conditional expectation
2010-08-27, by hoelzl
proved existence of conditional expectation
2010-08-27, by hoelzl
introduced integration on subalgebras
2010-08-26, by hoelzl
changed definition of dynkin; replaces proofs by metis calles
2010-08-26, by hoelzl
dynkin
2010-08-26, by hellerar
dynkin system
2010-08-26, by hellerar
merged
2010-09-02, by hoelzl
Fixes lemma names
2010-09-02, by hoelzl
NEWS
2010-09-02, by hoelzl
Introduce surj_on and replace surj and bij by abbreviations.
2010-09-02, by hoelzl
Permutation implies bij function
2010-09-02, by hoelzl
bij <--> bij_betw
2010-09-02, by hoelzl
Add filter_remove1
2010-09-02, by hoelzl
Add lessThan_Suc_eq_insert_0
2010-09-02, by hoelzl
merged
2010-09-02, by haftmann

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle