Skip to content
Success

Changes

Summary

  1. fix Ergodic_Theory
  2. adapt to Isabelle bd37a72a940a
Changeset 6790:c8767d315dd0 by hoelzl:
fix Ergodic_Theory
The file was modified thys/Ergodic_Theory/SG_Library_Complement.thy (diff)
Changeset 6789:62d120bc44c3 by hoelzl:
adapt to Isabelle bd37a72a940a
The file was modified thys/Coinductive/Examples/LList_CCPO_Topology.thy (diff)
The file was modified thys/Ergodic_Theory/SG_Library_Complement.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius.thy (diff)