src/HOL/Library/Sublist_Order.thy
changeset 65151 a7394aa4d21c
parent 63465 d7610beb98bc
child 65869 a6ed757b8585