Theorem Proving In Higher Order Logics door