Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings - Aagaard, Mark; Aagaard, Mark; Harrison, John; Harrison, John (Springer Berlin Heidelberg : Imprint: Springer, 2000)