Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings - Mark Aagaard, John Harrison ((Lecture Notes in Computer Science))