Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings - Schneider, Klaus; Brandt, Jens (Springer Berlin Heidelberg, 2007)