Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

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