Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Ergodic_Theory: moved Product_Topology to Isabelle; Lp: moved Essential Supremum to Isabelle
  2. renamed convergent_eq_cauchy
Changeset 7220:d6566beaf918 by hoelzl:
Ergodic_Theory: moved Product_Topology to Isabelle; Lp: moved Essential Supremum to Isabelle
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/SG_Library_Complement.thy (diff)
The file was modified thys/Lp/Lp.thy (diff)
The file was removedthys/Ergodic_Theory/Product_Topology.thy
Changeset 7219:35f922ff8e50 by paulson _lp15@cam.ac.uk_:
renamed convergent_eq_cauchy
The file was modified thys/Lp/Functional_Spaces.thy (diff)