Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. retain derived lemma for better findability
  3. generalized sorted_sort_id to sort_key_id_if_sorted
Changeset 76486:3d281371b213 by nipkow:
merged
Changeset 76485:a125c8baf643 by nipkow:
retain derived lemma for better findability
The file was modified src/HOL/List.thy (diff)
Changeset 76484:defaa0b17424 by nipkow:
generalized sorted_sort_id to sort_key_id_if_sorted
The file was modified src/HOL/Library/Poly_Mapping.thy (diff)
The file was modified src/HOL/List.thy (diff)