diff --git a/Isabelle_DOF/document/figures/src/document-model.key b/Isabelle_DOF/document/figures/src/document-model.key
index 2f59af7..f06596b 100755
Binary files a/Isabelle_DOF/document/figures/src/document-model.key and b/Isabelle_DOF/document/figures/src/document-model.key differ