equal
deleted
inserted
replaced
372 HOL-Computational_Algebra.Field_as_Ring explicitly in case of need. |
372 HOL-Computational_Algebra.Field_as_Ring explicitly in case of need. |
373 INCOMPATIBILITY. |
373 INCOMPATIBILITY. |
374 |
374 |
375 * Session HOL-Algebra: renamed (^) to [^] to avoid conflict with new |
375 * Session HOL-Algebra: renamed (^) to [^] to avoid conflict with new |
376 infix/prefix notation. |
376 infix/prefix notation. |
|
377 |
|
378 * Session HOL-Algebra: Revamped with much new material. |
|
379 The set of isomorphisms between two groups is now denoted iso rather than iso_set. |
|
380 INCOMPATIBILITY. |
377 |
381 |
378 * Session HOL-Analysis: infinite products, Moebius functions, the |
382 * Session HOL-Analysis: infinite products, Moebius functions, the |
379 Riemann mapping theorem, the Vitali covering theorem, |
383 Riemann mapping theorem, the Vitali covering theorem, |
380 change-of-variables results for integration and measures. |
384 change-of-variables results for integration and measures. |
381 |
385 |