Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removed stray 'sledgehammer' invocation
  2. Changes to NEWS regarding 2a6ef5ba4822
  3. Changes to complete distributive lattices due to Viorel Preoteasa
  4. eliminiated superfluous class semiring_bits
Changeset 67831:07f5588f2735 by manuel eberl _eberlm@in.tum.de_:
Removed stray 'sledgehammer' invocation
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Polytope.thy (diff)
Changeset 67830:4f992daf4707 by manuel eberl _eberlm@in.tum.de_:
Changes to NEWS regarding 2a6ef5ba4822
The file was modified NEWS (diff)
Changeset 67829:2a6ef5ba4822 by manuel eberl _eberlm@in.tum.de_:
Changes to complete distributive lattices due to Viorel Preoteasa
The file was modified src/HOL/Analysis/Polytope.thy (diff)
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Enum.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Library/Finite_Lattice.thy (diff)
The file was modified src/HOL/Library/Option_ord.thy (diff)
The file was modified src/HOL/Library/Product_Order.thy (diff)
The file was modified src/HOL/Predicate.thy (diff)
Changeset 67828:655d03493d0f by haftmann:
eliminiated superfluous class semiring_bits
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Parity.thy (diff)