Lines Matching refs:begin
9 \begin{document}
23 \begin{abstract}
190 \begin{quote}
201 \begin{verbatim}
230 $$\begin{array}{ll}
255 \begin{verbatim}
265 \begin{verbatim}
294 \begin{verbatim}
302 \begin{verbatim}
315 \begin{tabbing}
395 $$\begin{array}{l}
400 $$\begin{array}{ll}
414 $$\begin{array}{l} class \ K \ where \ (Dec_1; \ldots; Dec_n \rceil) \
420 $$\begin{array}{l}
451 \begin{verbatim}
475 $$\begin{array}{l}
519 \begin{verbatim}
531 \begin{verbatim}
553 \begin{verbatim}
568 \begin{verbatim}
587 \begin{verbatim}
704 $$\begin{array}{ll}
721 $$\begin{array}{ll}
727 $$\begin{array}{ll}
773 $$\begin{array}{ll}
826 $$\begin{array}{l} class \ K \ where \ (Dec_1; \ldots; Dec_n \rceil) \
850 $$\begin{array}{l} f \ \overline{x} \ p_1 \ \overline{x}_1 \ = \ t_1; \
913 $$\begin{array}{ll}
936 $$\begin{array}{ll}
972 $$\begin{array}{ll}
1029 $$\begin{array}{ll}
1037 $$\begin{array}{ll}
1049 $$\begin{array}{ll}
1057 $$\begin{array}{l}
1063 $$\begin{array}{ll}
1069 $$\begin{array}{ll}
1079 $$\begin{array}{l}
1097 $$\begin{array}{l}
1107 $$\begin{array}{ll}
1121 $$\begin{array}{ll}
1137 \begin{comment}
1141 $$\begin{array}{ll}
1148 $$\begin{array}{ll}
1157 $$\begin{array}{ll} fn3 \ :: & ('a, 'b) \ AC \Rightarrow ('a \Rightarrow
1170 $$\begin{array}{lll}
1183 $$\begin{array}{lll}
1197 $$\begin{array}{lll}
1213 $$\begin{array}{lll}
1219 $$\begin{array}{lll}
1225 $$\begin{array}{ll}
1231 $$\begin{array}{lll}
1238 $$\begin{array}{lll} t \ =
1256 $$\begin{array}{ll}
1270 $$\begin{array}{ll}
1295 $$\begin{array}{lll} t \ =
1316 $$\begin{array}{ll}
1345 $$\begin{array}{ll}