load Proof General
...