Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper symbols;
  2. NEWS;
  3. recover from Unicode accident in 4abd07cd034f;
  4. updated for release;
  5. NEWS;
  6. NEWS;
  7. tuned;
  8. tuned;
  9. easy abstraction over pointwise bit operations
  10. more rules for natural deduction from inequalities
Changeset 71434:6c52b1d71f8b by wenzelm:
proper symbols;
The file was modified NEWS (diff)
Changeset 71433:49fb95d04d43 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71432:e06ece7a408f by wenzelm:
recover from Unicode accident in 4abd07cd034f;
The file was modified NEWS (diff)
Changeset 71431:508b4f6431ae by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified COPYRIGHT (diff)
Changeset 71430:7736b754b37f by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71429:182956c8e020 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71428:b3954e1387b0 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 71427:66a06a55c00c by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 71426:745e518d3d0b by haftmann:
easy abstraction over pointwise bit operations
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
Changeset 71425:f2da99316b86 by haftmann:
more rules for natural deduction from inequalities
The file was modified src/HOL/Groups.thy (diff)
The file was modified src/HOL/Nat.thy (diff)