Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- renamings
The file was modified | thys/Ergodic_Theory/Gouezel_Karlsson.thy |
The file was modified | thys/Ergodic_Theory/Invariants.thy |
The file was modified | thys/Ergodic_Theory/Measure_Preserving_Transformations.thy |
The file was modified | thys/Ergodic_Theory/SG_Library_Complement.thy |
The file was modified | thys/Gromov_Hyperbolicity/Library_Complements.thy |