Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned proofs;
Changeset 63916:5e816da75b8f by wenzelm:
merged
Changeset 63915:bab633745c7f by wenzelm:
tuned proofs;
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)