Isabelle view 3