An Integrated Development Environment for the Higher Order Logic Theorem Prover