Changes

Summary

Changeset 8992:f3899ff0e1c8 by sgouezel: Ergodic theory: transfer operators, normalizing sequences
The file was added	`thys/Ergodic_Theory/Normalizing_Sequences.thy`
The file was added	`thys/Ergodic_Theory/Transfer_Operator.thy`
The file was modified	`thys/Ergodic_Theory/Asymptotic_Density.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Ergodicity.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Fekete.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/Ergodic_Theory/Measure_Preserving_Transformations.thy` (diff)
The file was modified	`thys/Ergodic_Theory/ROOT` (diff)
The file was modified	`thys/Ergodic_Theory/Recurrence.thy` (diff)
The file was modified	`thys/Ergodic_Theory/SG_Library_Complement.thy` (diff)
The file was modified	`thys/Ergodic_Theory/document/root.bib` (diff)
The file was modified	`thys/Ergodic_Theory/document/root.tex` (diff)