src/HOL/Data_Structures/AList_Upd_Del.thy
changeset 66787 64b47495676d
parent 66441 b9468503742a
child 67406 23307fd33906