From f0cd78e1beddfd613a043a5504622518abd22462 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 17 Jun 2019 10:01:58 +0100 Subject: [PATCH] Fixed LaTeX. --- ontologies/scholarly_paper.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ontologies/scholarly_paper.thy b/ontologies/scholarly_paper.thy index 6d74526..58e4062 100644 --- a/ontologies/scholarly_paper.thy +++ b/ontologies/scholarly_paper.thy @@ -65,7 +65,7 @@ doc_class annex = "text_section" + text\ Besides subtyping, there is another relation between -doc_classes: a class can be a \<^emph>\monitor\ to other ones, +doc\_classes: a class can be a \<^emph>\monitor\ to other ones, which is expressed by occurrence in the where clause. While sub-classing refers to data-inheritance of attributes, a monitor captures structural constraints -- the order --