isabelle default