diff --git a/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
index 05c3f03..53e6f38 100644
--- a/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
+++ b/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
@@ -60,26 +60,26 @@
 }
 
 \newcommand{\SRACautorefname}{SRAC}
-\newisadof{textDOTCENELECUNDERSCORE50128DOTSRAC}%
+\newisadof{textDOTCENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRAC}%
 [label=,type=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTlevel=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTreferentiable=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTvariants=%
-,CENELECUNDERSCORE50128DOTrequirementDOTisUNDERSCOREconcerned=%
-,CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname=%
-,CENELECUNDERSCORE50128DOTSRACDOTformalUNDERSCORErepr=%
-,CENELECUNDERSCORE50128DOTSRACDOTassumptionUNDERSCOREkind=%
-,CENELECUNDERSCORE50128DOTECDOTassumptionUNDERSCOREkind=%
-,CENELECUNDERSCORE50128DOTassumptionDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTisUNDERSCOREconcerned=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTformalUNDERSCORErepr=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTECDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTassumptionDOTassumptionUNDERSCOREkind=%
 ][1]{%
   \begin{isamarkuptext}%
-      \ifthenelse{\equal{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}{}}{%
+      \ifthenelse{\equal{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}{}}{%
         \begin{SRAC}%
             \addxcontentsline{tos}{chapter}[]{\autoref{\commandkey{label}}}%
       }{%
-        \begin{SRAC}[\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}]%
-          \addxcontentsline{tos}{chapter}[]{\autoref{\commandkey{label}}: \commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}%
-          \DOFindex{SRAC}{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}%
+        \begin{SRAC}[\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}]%
+          \addxcontentsline{tos}{chapter}[]{\autoref{\commandkey{label}}: \commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%
+          \DOFindex{SRAC}{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%
       }\label{\commandkey{label}}%
       #1%
     \end{SRAC}
@@ -113,26 +113,26 @@
 }
 
 \newcommand{\ECautorefname}{EC}
-\newisadof{textDOTCENELECUNDERSCORE50128DOTEC}%
+\newisadof{textDOTCENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTEC}%
 [label=,type=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTlevel=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTreferentiable=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTvariants=%
-,CENELECUNDERSCORE50128DOTrequirementDOTisUNDERSCOREconcerned=%
-,CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname=%
-,CENELECUNDERSCORE50128DOTSRACDOTformalUNDERSCORErepr=%
-,CENELECUNDERSCORE50128DOTSRACDOTassumptionUNDERSCOREkind=%
-,CENELECUNDERSCORE50128DOTECDOTassumptionUNDERSCOREkind=%
-,CENELECUNDERSCORE50128DOTassumptionDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTisUNDERSCOREconcerned=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTformalUNDERSCORErepr=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTECDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTassumptionDOTassumptionUNDERSCOREkind=%
 ][1]{%
   \begin{isamarkuptext}%
-      \ifthenelse{\equal{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}{}}{%
+      \ifthenelse{\equal{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}{}}{%
         \begin{EC}%
             \addxcontentsline{tos}{chapter}[]{\autoref{\commandkey{label}}}%
       }{%
-        \begin{EC}[\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}]%
-          \addxcontentsline{toe}{chapter}[]{\autoref{\commandkey{label}}: \commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}%
-          \DOFindex{EC}{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}%
+        \begin{EC}[\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}]%
+          \addxcontentsline{toe}{chapter}[]{\autoref{\commandkey{label}}: \commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%
+          \DOFindex{EC}{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%
       }\label{\commandkey{label}}%
       #1%
     \end{EC}
@@ -155,23 +155,23 @@
 }
 
 \newcommand{\assumptionautorefname}{assumption}
-\newisadof{textDOTCENELECUNDERSCORE50128DOTassumption}%
+\newisadof{textDOTCENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTassumption}%
 [label=,type=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTlevel=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTreferentiable=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTvariants=%
-,CENELECUNDERSCORE50128DOTrequirementDOTisUNDERSCOREconcerned=%
-,CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname=%
-,CENELECUNDERSCORE50128DOTSRACDOTformalUNDERSCORErepr=%
-,CENELECUNDERSCORE50128DOTSRACDOTassumptionUNDERSCOREkind=%
-,CENELECUNDERSCORE50128DOTassumptionDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTisUNDERSCOREconcerned=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTformalUNDERSCORErepr=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTassumptionUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTassumptionDOTassumptionUNDERSCOREkind=%
 ][1]{%
   \begin{isamarkuptext}%
-      \ifthenelse{\equal{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}{}}{%
+      \ifthenelse{\equal{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}{}}{%
         \begin{assumption}%
       }{%
-        \begin{assumption}[\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}]%
-          \DOFindex{assumption}{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}%
+        \begin{assumption}[\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}]%
+          \DOFindex{assumption}{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%
       }\label{\commandkey{label}}%
       #1%
     \end{assumption}
@@ -196,23 +196,23 @@
 
 
 \newcommand{\hypothesisautorefname}{hypothesis}
-\newisadof{textDOTCENELECUNDERSCORE50128DOThypothesis}%
+\newisadof{textDOTCENELECUNDERSCOREFIVEZEROONETWOEIGHTDOThypothesis}%
 [label=,type=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTlevel=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTreferentiable=%
 ,IsaUNDERSCORECOLDOTtextUNDERSCOREelementDOTvariants=%
-,CENELECUNDERSCORE50128DOTrequirementDOTisUNDERSCOREconcerned=%
-,CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname=%
-,CENELECUNDERSCORE50128DOTSRACDOTformalUNDERSCORErepr=%
-,CENELECUNDERSCORE50128DOTSRACDOThypothesisUNDERSCOREkind=%
-,CENELECUNDERSCORE50128DOThypothesisDOThypUNDERSCOREtype=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTisUNDERSCOREconcerned=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOTformalUNDERSCORErepr=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTSRACDOThypothesisUNDERSCOREkind=%
+,CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOThypothesisDOThypUNDERSCOREtype=%
 ][1]{%
   \begin{isamarkuptext}%
-      \ifthenelse{\equal{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}{}}{%
+      \ifthenelse{\equal{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}{}}{%
         \begin{hypothesis}%
       }{%
-        \begin{hypothesis}[\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}]%
-          \DOFindex{hypothesis}{\commandkey{CENELECUNDERSCORE50128DOTrequirementDOTlongUNDERSCOREname}}%
+        \begin{hypothesis}[\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}]%
+          \DOFindex{hypothesis}{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%
       }\label{\commandkey{label}}%
       #1%
     \end{hypothesis}