src/HOL/Library/Sublist_Order.thy
changeset 37118 ccae4ecd67f4
parent 33499 30e6e070bdb6
child 37765 26bdfb7b680b
equal deleted inserted replaced
37117:59cee8807c29 37118:ccae4ecd67f4