Redirecting to Isabelle (theorem prover)