Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renamed lemma to a more consistent name
  2. tuned
Changeset 64181:4d1d2de432fa by lars hupel _lars.hupel@mytum.de_:
renamed lemma to a more consistent name
The file was modified src/HOL/Library/Finite_Map.thy (diff)
Changeset 64180:676763a9c269 by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified src/HOL/Library/Finite_Map.thy (diff)