src/HOL/List.thy
changeset 16633 208ebc9311f2
parent 16397 c047008f88d4
child 16634 f19d58cfb47a
equal deleted inserted replaced
16632:ad2895beef79 16633:208ebc9311f2