Added regression tests for Isabelle formulae export and some proofs.