Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / - Hurd, Joe.; Melham, T. F. (Lecture notes in computer science,)