isabelle3-003