Summary
- theorem renaming: reals_Archimedean2, etc.
The file was modified | thys/Ergodic_Theory/Recurrence.thy (diff) |
The file was modified | thys/Ergodic_Theory/SG_Library_Complement.thy (diff) |
The file was modified | thys/Polynomial_Interpolation/Missing_Unsorted.thy (diff) |