Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. improve setup for fMin/fMax/fsum; courtesy of Ondřej Kunčar & Florian Haftmann
  3. tuned code setup
Changeset 66293:2eae295c8fc3 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 66292:9930f4cf6c7a by lars hupel _lars.hupel@mytum.de_:
improve setup for fMin/fMax/fsum; courtesy of Ondřej Kunčar & Florian Haftmann
The file was modified src/HOL/Library/FSet.thy (diff)
Changeset 66291:f32968e099d5 by lars hupel _lars.hupel@mytum.de_:
tuned code setup
The file was modified src/HOL/Library/Finite_Map.thy (diff)