removed hdevtools and moved proofgeneral