Lines Matching refs:label
12 \subsection{Membership equational logic} \label{mel-section}
71 \subsection{Maude functional modules} \label{maudefmod}
210 \subsection{Advanced features}\label{subsec:adv_feat}
285 \verb"label"\; \mathit{label}_1\; \verb"to"\; \mathit{label}_2\; \verb"."
290 \subsubsection{Theories}\label{subsec:theories}
341 eq X < X = false [nonexec label irreflexive] .
342 ceq X < Z = true if X < Y /\ Y < Z [nonexec label transitive] .
347 \subsubsection{Views}\label{subsec:views}
448 \subsubsection{Parameterized modules}\label{subsec:pmod}
462 identifier---the parameter name or parameter label---, and each $T_i$ is
471 qualified as $X_i\texttt{\$}S$, and each label $l$ of a statement occurring in
475 The renaming maps each sort $S$ to $X_i\texttt{\$}S$, and each label $l$