Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Adapted Lp and Ergodic_Theory
  2. adapted to repo
Changeset 7958:3e81fe232bf7 by eberlm _eberlm@in.tum.de_:
Adapted Lp and Ergodic_Theory
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/Lp/Functional_Spaces.thy (diff)
The file was modified thys/Lp/Lp.thy (diff)
Changeset 7957:9d62b8cb19af by nipkow:
adapted to repo
The file was modified thys/Collections/GenCF/Impl/Impl_Bit_Set.thy (diff)
The file was modified thys/Koenigsberg_Friendship/MoreGraph.thy (diff)