diff --git a/Isabelle_DOF/latex/styles/DOF-core.sty b/Isabelle_DOF/latex/styles/DOF-core.sty
index fc467de..bd5a2be 100644
--- a/Isabelle_DOF/latex/styles/DOF-core.sty
+++ b/Isabelle_DOF/latex/styles/DOF-core.sty
@@ -156,13 +156,13 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % begin: label and ref
 \newkeycommand\isaDof@label[label=,type=][1]{\label{#1}}
-\def\isaDofDOTlabel{\isaDof@label}
+\newcommand{\isaDofDOTlabel}{\isaDof@label}
 \newkeycommand\isaDof@ref[label=,type=][1]{\autoref{#1}}
-\def\isaDofDOTref{\isaDof@ref}
+\newcommand{\isaDofDOTref}{\isaDof@ref}
 \newkeycommand\isaDof@macro[label=,type=][1]{MMM \label{#1}}        %% place_holder
-\def\isaDofDOTmacroDef{\iisaDof@macro}
+\newcommand{\isaDofDOTmacroDef}{\iisaDof@macro}
 \newkeycommand\isaDof@macroExp[label=,type=][1]{MMM \autoref{#1}}   %% place_holder
-\def\isaDofDOTmacroExp{\isaDof@macroExp}
+\newcommand{\isaDofDOTmacroExp}{\isaDof@macroExp}
 % end: label and ref
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%