Lines Matching refs:begin
45 \newenvironment{EXAMPLE}[1][] {\par#1\begin{EXAMPLEFORMAT}\begin{ITEMS}}
53 \newenvironment{BIGEXAMPLE} {\begin{EXAMPLE}} {\end{EXAMPLE}\medskip}
54 \newenvironment{DETAILS}[1][] {#1\begin{DETAILSFORMAT}}{\end{DETAILSFORMAT}}
56 \newenvironment{META}[1][] {#1\begin{METAFORMAT}}{\end{METAFORMAT}}
58 \begin{minipage}{0.9\textwidth}\it}
150 \begin{document}
171 logic, but extends first-order logic in two ways: \begin{inparaenum}[(1)]\item any term can be
179 \begin{itemize}
216 \begin{figure}
217 \begin{center}
291 \begin{lstlisting}[float,label={fig:lang},caption={Syntax of a simple subset of the heterogeneous specification language. \texttt{BASIC-SPEC} and \texttt{SYMBOL-MAP} have a logic specific syntax, while \texttt{ID} stands for some form of identifiers.},basicstyle=\ttfamily\small,morecomment={[l]{\%\%\ }},morekeywords={then,with,logic,spec,end,view,to},escapeinside={<>}]
323 \begin{figure}
324 \begin{center}
331 \begin{description}
356 proving (ATP) systems for first-order logic with equality: \begin{inparaenum}[(1)]\item \SPASS
435 \noindent\begin{tabularx}{\textwidth}{|l|X|}\hline
469 \begin{quote}
479 \begin{enumerate}
483 \begin{lstlisting}
501 \begin{lstlisting}
515 \begin{tabularx}{\linewidth}{|l|l|X|}\hline
548 \begin{tabularx}{\linewidth}{|l|l|X|}\hline
566 \begin{lstlisting}[language=clif]
587 \begin{quote}
594 \begin{description}
617 \begin{tabular}{|l|c|c|}\hline
634 \begin{lstlisting}[morekeywords=logic]
652 \begin{lstlisting}[language=hetcasl,alsolanguage=clif]
678 \begin{description}
680 \begin{lstlisting}[language=clif]
687 \begin{lstlisting}[language=clif]
695 \begin{lstlisting}[language=clif]
759 \begin{description}
766 \begin{description}
802 \begin{description}
810 \begin{lstlisting}[language=clif]
819 \begin{lstlisting}[language=clif]
835 \begin{quote}
839 \begin{quote}
843 \begin{quote}
867 \begin{quote}
890 \begin{description}
892 \begin{lstlisting}[language=clif]
899 \begin{lstlisting}[language=clif]
909 \begin{lstlisting}[language=hetcasl]
933 \begin{figure}
934 \begin{center}
945 \begin{lstlisting}[language=hetcasl,alsolanguage=clif]
982 \begin{lstlisting}[language=hetcasl,alsolanguage=clif]
1034 \begin{quote}
1041 \begin{align*}
1050 \begin{itemize}
1056 \begin{lstlisting}[language=HetCASL,basicstyle={\small\ttfamily},alsolanguage=clif]
1123 \begin{lstlisting}[language=hetcasl,alsolanguage=clif,alsolanguage=owl2Manchester]
1174 \begin{figure}[ht]
1180 \begin{figure}[ht]
1181 \begin{minipage}[b]{0.5\linewidth}
1187 \begin{minipage}[b]{0.5\linewidth}
1197 \begin{itemize}
1232 \begin{lstlisting}[language=hetcasl,alsolanguage=clif]
1251 \begin{lstlisting}[language=clif,morekeywords={implied}]
1280 \begin{figure}[ht]
1281 \begin{minipage}[b]{0.5\linewidth}
1287 \begin{minipage}[b]{0.5\linewidth}
1304 \begin{figure}[ht]
1314 \begin{figure}
1351 \begin{table}[t]
1353 \begin{threeparttable}
1354 \begin{tabular}{|l|c|p{7cm}|}\firsthline
1371 \begin{tablenotes}\footnotesize
1441 \begin{description}
1455 \begin{lstlisting}
1478 \begin{lstlisting}
1542 \begin{quote}
1615 \begin{description}