From b447a480fbd2f8290941722b1456fb8b3eb8ebc7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Thu, 20 Jul 2023 15:04:39 +0200 Subject: [PATCH] Fix manual latex compilation --- Isabelle_DOF/thys/manual/M_04_RefMan.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Isabelle_DOF/thys/manual/M_04_RefMan.thy b/Isabelle_DOF/thys/manual/M_04_RefMan.thy index d820b39..27d3313 100644 --- a/Isabelle_DOF/thys/manual/M_04_RefMan.thy +++ b/Isabelle_DOF/thys/manual/M_04_RefMan.thy @@ -98,7 +98,7 @@ text\ section\The Ontology Definition Language (ODL)\ text\ ODL shares some similarities with meta-modeling languages such as UML class - models: It builds upon concepts like class, inheritance, class_instances, attributes, references + models: It builds upon concepts like class, inheritance, class-instances, attributes, references to instances, and class-invariants. Some concepts like advanced type-checking, referencing to formal entities of Isabelle, and monitors are due to its specific application in the Isabelle context. Conceptually, ontologies specified in ODL consist of: