> isabelle ocaml_opam install zarith This should ideally happen on-the-fly from within Isabelle/ML. Cheers Lars