Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Klaus Schneider, Jens Brandt ((Lecture Notes in Computer Science))