src/Doc/Isar_Ref/document/style.sty

--- a/src/Doc/Isar_Ref/document/style.sty	Tue Dec 29 17:54:45 2015 +0100
+++ b/src/Doc/Isar_Ref/document/style.sty	Tue Dec 29 19:11:23 2015 +0100
@@ -30,7 +30,6 @@
 \newcommand{\isasymvartheta}{\isamath{\,\theta}}
 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
 \renewcommand{\isadigit}[1]{\isamath{#1}}
-\newcommand{\text}[1]{\mbox{#1}}
 
 %% global style options
 \pagestyle{headings}