Skip to content
Success

Changes

Summary

  1. fixed some failing proofs
Changeset 9110:9d32ac5a400f by paulson _lp15@cam.ac.uk_:
fixed some failing proofs
The file was modified thys/Affine_Arithmetic/Executable_Euclidean_Space.thy (diff)
The file was modified thys/Ergodic_Theory/Recurrence.thy (diff)