My great grandfather was Granville Allen, b. 1818, d. 1892. I have him marrying his second wife Theodosia H. Walden, b.1828, d.1905.They were the parents of my grandfather, William Logan Allen, who with his second wife had my father Earl Granville Allen.
I only have the lineage, I think rather complete, but I don't see the names you mentioned. I don't have the mother of Theodosia I don't think...will dig through my papers. Theodosia was born in TN 8/13/1818; married in Lincoln Co., KY, 8/4/1851, buried in Pain Lick Cemetery, Section 1, KY. I have been there. the Lincoln Co. records may help you...even Garrard Co. is where I got a lot of info...historical society.