| changeset 5371 | e27558a68b8d |
| parent 4607 | 6759ba6d3cc1 |
| child 6618 | 13293a7d4a57 |
| 5370:ba0470fe09fc | 5371:e27558a68b8d |
|---|---|
701 \item[Seq.filter $p$ $xq$] returns the sequence consisting of all |
701 \item[Seq.filter $p$ $xq$] returns the sequence consisting of all |
702 elements~$x$ of~$xq$ such that $p(x)$ is {\tt true}. |
702 elements~$x$ of~$xq$ such that $p(x)$ is {\tt true}. |
703 \end{ttdescription} |
703 \end{ttdescription} |
704 |
704 |
705 \index{tactics|)} |
705 \index{tactics|)} |
706 |
|
707 |
|
708 %%% Local Variables: |
|
709 %%% mode: latex |
|
710 %%% TeX-master: "ref" |
|
711 %%% End: |