Structure Model Isabelle