src/HOL/Library/More_List.thy
changeset 42316 12635bb655fd
parent 40951 6c35a88d8f61
child 42871 1c0b99f950d9