Changes

Summary

Changeset 8184:6919e065d6ff by eberlm _eberlm@in.tum.de_: Merged
Changeset 8183:09427f32161b by eberlm _eberlm@in.tum.de_: Adapted to isabelle-dev/97ad7a583457
The file was modified	`thys/Catalan_Numbers/Catalan_Numbers.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Gouezel_Karlsson.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Invariants.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Kingman.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Kohlberg_Neyman_Karlsson.thy` (diff)
The file was modified	`thys/Lower_Semicontinuous/Lower_Semicontinuous.thy` (diff)
The file was modified	`thys/Lp/Functional_Spaces.thy` (diff)
The file was modified	`thys/Lp/Lp.thy` (diff)
The file was modified	`thys/Minkowskis_Theorem/Minkowskis_Theorem.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy` (diff)
The file was modified	`thys/Polynomials/Power_Products.thy` (diff)