Integrated development Environment for the Higher Order Logic Theorem Prover