equal
deleted
inserted
replaced
730 lebesgue_integral_cmult |
730 lebesgue_integral_cmult |
731 lebesgue_integral_multc |
731 lebesgue_integral_multc |
732 lebesgue_integral_cmult_nonneg |
732 lebesgue_integral_cmult_nonneg |
733 integral_cmul_indicator |
733 integral_cmul_indicator |
734 integral_real |
734 integral_real |
|
735 |
|
736 - Renamed positive_integral to nn_integral: |
|
737 |
|
738 * Renamed all lemmas "*positive_integral*" to *nn_integral*" |
|
739 positive_integral_positive ~> nn_integral_nonneg |
|
740 |
|
741 * Renamed abbreviation integral\<^sup>P to integral\<^sup>N. |
735 |
742 |
736 *** Scala *** |
743 *** Scala *** |
737 |
744 |
738 * The signature and semantics of Document.Snapshot.cumulate_markup / |
745 * The signature and semantics of Document.Snapshot.cumulate_markup / |
739 select_markup have been clarified. Markup is now traversed in the |
746 select_markup have been clarified. Markup is now traversed in the |