Isabelle view 2