Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22 - 25, 2005 ; proceedings (Springer, 2005)