Added definition for SRAC.
HOL-OCL/Isabelle_DOF/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-03-30 19:03:38 +00:00
parent 8935d8f4e9
commit b5d35dad22
1 changed files with 7 additions and 0 deletions

View File

@ -76,3 +76,10 @@
#1
\end{isamarkuptext}%
}
\newisadof{text.CENELEC_50128.SRAC}%
[label=,type=,assumption=][1]{%
\begin{isamarkuptext}%
#1
\end{isamarkuptext}%
}