src/HOL/Library/Subseq_Order.thy
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-05-29 eberlm 2017-05-29 reorganised material on sublists