model.thy

model.thy is added