Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings - Jim Grundy, Malcolm Newey ((Lecture Notes in Computer Science))