Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings - Hurd, Joe; Melham, Tom (Springer Berlin Heidelberg, 2005)