Use obsN instead of funN in Isabelle mode.