Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. adapted to Gouezel's new lemmas
Changeset 8774:6a2b8a8e0368 by nipkow:
merged
Changeset 8773:0b0f65ee7c47 by nipkow:
adapted to Gouezel's new lemmas
The file was modified thys/Ergodic_Theory/SG_Library_Complement.thy (diff)
The file was modified thys/Lp/Lp.thy (diff)