draw_isabelle
