Adding Proof General document