Changes

Summary

Changeset 75455:91c16c5ad3e9 by paulson _lp15@cam.ac.uk_: tidied auto / simp with null arguments
The file was modified	`src/HOL/Algebra/Divisibility.thy` (diff)
The file was modified	`src/HOL/Analysis/Abstract_Topology.thy` (diff)
The file was modified	`src/HOL/Analysis/Lebesgue_Integral_Substitution.thy` (diff)
The file was modified	`src/HOL/Analysis/Linear_Algebra.thy` (diff)
The file was modified	`src/HOL/Analysis/Lipschitz.thy` (diff)
The file was modified	`src/HOL/Analysis/T1_Spaces.thy` (diff)
The file was modified	`src/HOL/Complex_Analysis/Winding_Numbers.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Nth_Powers.thy` (diff)
The file was modified	`src/HOL/Decision_Procs/Approximation_Bounds.thy` (diff)
The file was modified	`src/HOL/Library/Interval.thy` (diff)
The file was modified	`src/HOL/Library/Log_Nat.thy` (diff)
The file was modified	`src/HOL/Library/Poly_Mapping.thy` (diff)
The file was modified	`src/HOL/Probability/Distributions.thy` (diff)
The file was modified	`src/HOL/Probability/Product_PMF.thy` (diff)
The file was modified	`src/HOL/Probability/Stream_Space.thy` (diff)
The file was modified	`src/HOL/Quotient.thy` (diff)
The file was modified	`src/HOL/Rings.thy` (diff)
The file was modified	`src/HOL/Set_Interval.thy` (diff)