src/HOL/Library/More_List.thy
changeset 68658 16cc1161ad7f
parent 67730 f91c437f6f68