Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin ((Lecture Notes in Computer Science))