diff --git a/ontologies/CENELEC_50126.thy b/ontologies/CENELEC_50126.thy index 316e305e..bf52f91a 100644 --- a/ontologies/CENELEC_50126.thy +++ b/ontologies/CENELEC_50126.thy @@ -445,7 +445,6 @@ DOF_core.get_attributes_local "srac" @{context}; @{term assumption_kind} \ -text\dfgdfg\ ML\ DOF_core.name2doc_class_name @{theory} "requirement";