Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned
  3. clarified notation: iterated quantifier is negated as one chunk;
  4. tuned proofs;
  5. tuned;
  6. clarified notation;
Changeset 63914:255294779d40 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 63913:6b886cadba7c by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified src/HOL/Num.thy (diff)
The file was modified src/HOL/ex/Primrec.thy (diff)
Changeset 63912:9f8325206465 by wenzelm:
clarified notation: iterated quantifier is negated as one chunk;
The file was modified src/HOL/HOL.thy (diff)
Changeset 63911:d00d4f399f05 by wenzelm:
tuned proofs;
The file was modified src/HOL/Rat.thy (diff)
Changeset 63910:e4fdf9580372 by wenzelm:
tuned;
The file was modified src/HOL/Hahn_Banach/Subspace.thy (diff)
Changeset 63909:cc15bd7c5396 by wenzelm:
clarified notation;
The file was modified NEWS (diff)
The file was modified src/HOL/HOL.thy (diff)