Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. add measurability rules for ennreal
  2. generalized some Borel measurable statements to support ennreal
Changeset 62625:2d73385aa5f3 by hoelzl:
add measurability rules for ennreal
The file was modified src/HOL/Probability/Borel_Space.thy (diff)
Changeset 62624:59ceeb6f3079 by hoelzl:
generalized some Borel measurable statements to support ennreal
The file was modified src/HOL/Library/Liminf_Limsup.thy (diff)
The file was modified src/HOL/Probability/Borel_Space.thy (diff)
The file was modified src/HOL/Probability/Set_Integral.thy (diff)