nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix manual latex compilation

This commit is contained in:
Nicolas Méric 2023-07-20 15:04:39 +02:00
parent a78397693e
commit b447a480fb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF/thys/manual/M_04_RefMan.thy
View File

@ -98,7 +98,7 @@ text\<open>
section\<open>The Ontology Definition Language (ODL)\<close> section\<open>The Ontology Definition Language (ODL)\<close>
text\<open> text\<open>
ODL shares some similarities with meta-modeling languages such as UML class 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 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 formal entities of Isabelle, and monitors are due to its specific application in the
Isabelle context. Conceptually, ontologies specified in ODL consist of: Isabelle context. Conceptually, ontologies specified in ODL consist of: