Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Boulton, Richard J.; Boulton, Richard J.; Jackson, Paul B.; Jackson, Paul B. (Springer Berlin Heidelberg : Imprint: Springer, 2001)