Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Joe Hurd, Tom Melham ((Lecture Notes in Computer Science))