Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merged
  2. more on sublists
Changeset 65870:81574a7e7c38 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 65869:a6ed757b8585 by eberlm _eberlm@in.tum.de_:
more on sublists
The file was modified src/HOL/Library/Sublist.thy (diff)
The file was modified src/HOL/Library/Sublist_Order.thy (diff)