equal
deleted
inserted
replaced
752 |
752 |
753 * Renamed all lemmas "*positive_integral*" to *nn_integral*" |
753 * Renamed all lemmas "*positive_integral*" to *nn_integral*" |
754 positive_integral_positive ~> nn_integral_nonneg |
754 positive_integral_positive ~> nn_integral_nonneg |
755 |
755 |
756 * Renamed abbreviation integral\<^sup>P to integral\<^sup>N. |
756 * Renamed abbreviation integral\<^sup>P to integral\<^sup>N. |
|
757 |
|
758 * Library/Kleene-Algebra was removed because AFP/Kleene_Algebra subsumes it. |
757 |
759 |
758 *** Scala *** |
760 *** Scala *** |
759 |
761 |
760 * The signature and semantics of Document.Snapshot.cumulate_markup / |
762 * The signature and semantics of Document.Snapshot.cumulate_markup / |
761 select_markup have been clarified. Markup is now traversed in the |
763 select_markup have been clarified. Markup is now traversed in the |