Don't write definitions in --isabelle-mode