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
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)