Changes

Summary

is_prime -> prime

Changeset 7008:948377981397 by eberlm _eberlm@in.tum.de_: is_prime -> prime
The file was modified	`thys/Algebraic_Numbers/Unique_Factorization_Poly.thy` (diff)
The file was modified	`thys/Coinductive/Examples/Hamming_Stream.thy` (diff)
The file was modified	`thys/Group-Ring-Module/Algebra4.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/CompositionSeries.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/SimpleGroups.thy` (diff)
The file was modified	`thys/Koenigsberg_Friendship/FriendshipTheory.thy` (diff)
The file was modified	`thys/Perfect-Number-Thm/Perfect.thy` (diff)
The file was modified	`thys/Perfect-Number-Thm/PerfectBasics.thy` (diff)
The file was modified	`thys/Perfect-Number-Thm/Sigma.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Gauss_Lemma.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Polynomial_Divisibility.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Prime_Factorization.thy` (diff)
The file was modified	`thys/Polynomial_Factorization/Unique_Factorization_Domain.thy` (diff)
The file was modified	`thys/Pratt_Certificate/Pratt_Certificate.thy` (diff)
The file was modified	`thys/Prime_Harmonic_Series/Prime_Harmonic_Misc.thy` (diff)
The file was modified	`thys/Prime_Harmonic_Series/Squarefree_Nat.thy` (diff)
The file was modified	`thys/RSAPSS/Cryptinverts.thy` (diff)
The file was modified	`thys/RSAPSS/Productdivides.thy` (diff)
The file was modified	`thys/RSAPSS/RSAPSS.thy` (diff)
The file was modified	`thys/RSAPSS/Wordarith.thy` (diff)
The file was modified	`thys/Real_Impl/Prime_Product.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Impl_Auxiliary.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Unique_Impl.thy` (diff)
The file was modified	`thys/Secondary_Sylow/GroupAction.thy` (diff)
The file was modified	`thys/Secondary_Sylow/SndSylow.thy` (diff)