Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Richard J. Boulton, Paul B. Jackson ((Lecture Notes in Computer Science))