Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Lemmas about analysis and permutations
  2. tuned
  3. merged
  4. tuned syntax
  5. tuned;
  6. output syntax for pattern aliases
Changeset 66486:ffaaa83543b2 by manuel eberl _eberlm@in.tum.de_:
Lemmas about analysis and permutations
The file was modified src/HOL/Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Inner_Product.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/Library/Permutations.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 66485:ddb31006e315 by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified src/HOL/Library/Pattern_Aliases.thy (diff)
Changeset 66484:e904aa522068 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 66483:123acfd5fe35 by lars hupel _lars.hupel@mytum.de_:
tuned syntax
The file was modified src/HOL/Library/Pattern_Aliases.thy (diff)
Changeset 66482:5dc8671bec73 by wenzelm:
tuned;
The file was modified CONTRIBUTORS (diff)
Changeset 66481:d35f7a9f92e2 by lars hupel _lars.hupel@mytum.de_:
output syntax for pattern aliases
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Pattern_Aliases.thy (diff)