Sorry - We do not have any other editions of Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs ....