Changes

Summary

Changeset 6365:262cd4c43400 by hoelzl: rename Nat.le_iff_add to le_iff_add
The file was modified	`thys/Automatic_Refinement/Lib/Misc.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Invariants.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Recurrence.thy` (diff)
The file was modified	`thys/Formal_SSA/FormalSSA_Misc.thy` (diff)
The file was modified	`thys/Koenigsberg_Friendship/KoenigsbergBridge.thy` (diff)
The file was modified	`thys/LTL_to_DRA/LTL.thy` (diff)
The file was modified	`thys/LTL_to_DRA/Mojmir.thy` (diff)
The file was modified	`thys/LTL_to_DRA/Semi_Mojmir.thy` (diff)
The file was modified	`thys/LTL_to_GBA/LTL.thy` (diff)
The file was modified	`thys/LTL_to_GBA/LTL_Rewrite.thy` (diff)
The file was modified	`thys/Markov_Models/Discrete_Time_Markov_Chain.thy` (diff)
The file was modified	`thys/Markov_Models/Markov_Decision_Process.thy` (diff)
The file was modified	`thys/Markov_Models/Markov_Models.thy` (diff)
The file was modified	`thys/Markov_Models/ROOT` (diff)
The file was modified	`thys/Probabilistic_Noninterference/Trace_Based.thy` (diff)
The file was modified	`thys/Random_Graph_Subgraph_Threshold/Ugraph_Misc.thy` (diff)
The file was modified	`thys/Sqrt_Babylonian/NthRoot_Impl.thy` (diff)