src/HOL/Library/List_Prefix.thy
changeset 42316 12635bb655fd
parent 38857 97775f3e8722
child 45236 ac4a2a66707d