From b10cb9d54dfad9a8179cd39e57077482cb72a376 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= <nicolasmeric@posteo.net>
Date: Wed, 9 Feb 2022 12:10:33 +0100
Subject: [PATCH] Fix typo

---
 examples/scholarly_paper/2021-ITP-PMTI/paper.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/scholarly_paper/2021-ITP-PMTI/paper.thy b/examples/scholarly_paper/2021-ITP-PMTI/paper.thy
index ad63372..d4ae6ef 100644
--- a/examples/scholarly_paper/2021-ITP-PMTI/paper.thy
+++ b/examples/scholarly_paper/2021-ITP-PMTI/paper.thy
@@ -319,7 +319,7 @@ text*[description_scrrenshot::background]\<open>
 
 subsection*[bgrnd_ODL::background]\<open>A Guided Tour through ODL\<close>
 text\<open>
-  \<^dof> provides a strongly typed OLD that provides the usual 
+  \<^dof> provides a strongly typed ODL that provides the usual 
   concepts of ontologies such as
   \<^item> \<^emph>\<open>document class\<close> (using the \<^theory_text>\<open>doc_class\<close> keyword) that describes a concept,
   \<^item> \<^emph>\<open>attributes\<close> specific to document classes (attributes might be initialized with default