\svnid{$Id: validation-texdefs.tex 41063 2015-07-22 15:40:43Z balen $}
\newcounter{claim}[subsection]
\newenvironment{claimlist}[0]%
  {\begin{list}{}{%
   \renewcommand{\makelabel}[1]{\textbf{##1}\hfil}%
   \setlength{\labelwidth}{20ex}%
   \setlength{\leftmargin}{\labelwidth+\labelsep}}}
  {\end{list}}
\renewcommand{\theclaim}{\thesubsection.\arabic{claim}}

\def\description{\item[Description:]}

\newcommand{\claimreferences}{\item[References:]}

\makeatletter

\newcommand{\claim}[1]{%
\refstepcounter{claim}%
\addcontentsline{clm}{claim}{\protect\numberline{\theclaim}#1}%
\item[Claim~\theclaim{}:] #1
\NR@gettitle{#1}%% Registers full claim text for later reference in \nameref
}
\def\substantiation{\item[Substantiation:]}
\newcommand{\claimremarks}{\item[Remarks:]}
\newcommand{\clref}[1]{\ref{#1}: \nameref{#1}}
\newcommand{\clrefnoh}[1]{claim \begin{NoHyper}\ref{#1}: \nameref{#1}\end{NoHyper}}

\newcommand{\casesection}[1]{\section{#1}}

\makeatother