Proof General theorem prover interface