Searched refs:dots (Results 1 - 5 of 5) sorted by relevance

/hets/Maude/doc/
H A Ddg.tex328 $$ h(\iota(f)(x_1, \dots, x_n)) = f(h(x_1), \dots, h(x_n)) $$
332 $$\iota(p)(t_1, \dots, t_n) \Rightarrow p(h(t_1), \dots, h(t_n))$$
432 \item $h(\iota(f)(t_1, \dots, t_n))$ is defined iff $f(h(t_1), \ldots, h(t_n))$
H A Dmaude.tex25 in $X$, where $X = \{ x_1:k_1, \dots, x_n:k_n\}$ is a set of $K$-kinded
43 a function $A_f : A_{k_1}\times \dots \times A_{k_n} \longrightarrow A_k$ for each
44 operator $f \in \Sigma_{k_1 \dots k_n, k}$, and
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex44 The missing parts (indicated by the dots above), can be any sequence of basic
/hets/doc/
H A Dhs2isa.tex804 \qquad \dots; & \\
806 \ let \ (x'_1 = t'_{1}; \ \dots; \ x'_n = t'_{n}) \ in \ t' \\
979 \lceil let \ x_{1} \ \dots \ x_{n} \ in \ exp \rceil & = \ let \ \lceil
980 x_{1} \rceil \ \dots \ \lceil x_{n} \rceil \ in \ \lceil exp \rceil \\
1374 \qquad \dots; & \\
1376 \ let \ (x'_1 = t'_{1}; \ \dots; \ x'_n = t'_{n}) \ in \ t' \\
H A DUserGuideCommonLogic.tex868 \textbf{from} \textit{library} \textbf{get} \textit{spec$_1$}, \dots, \texttt{spec$_n$}

Completed in 895 milliseconds