List_Prefix.thy
changeset 6 4294abb1f38c
parent 1 dcde836219bc
child 13 dd1499f296ea