Searched refs:begin (Results 1 - 25 of 31) sorted by relevance

12

/hets/Modal/doc/
H A DLogic_Modal_Test.tex22 \begin{document}
25 \begin{verbatim}
64 \begin{verbatim}
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex10 \begin{document}
24 \begin{verbatim}
35 \begin{verbatim}
57 \begin{itemize}
79 \begin{verbatim}
97 \begin{verbatim}
153 \begin{verbatim}
167 \begin{verbatim}
181 \begin{verbatim}
201 \begin{verbati
[all...]
H A DCSP_CASL_Parser.tex39 \begin{document}
58 \begin{enumerate}
73 \begin{quote}
77 \begin{quote}
87 \begin{quote}
91 \begin{quote}
106 \begin{appendix}
/hets/GUI/doc/
H A DWebInterfaceTests.tex22 \begin{document}
26 \begin{itemize}
33 \begin{itemize}
41 \begin{verbatim}
69 \begin{verbatim}
83 \begin{itemize}
98 \begin{verbatim}
128 \begin{verbatim}
H A DWebInterfaceBuildGuide.tex10 \begin{document}
18 \begin{enumerate}
39 \begin{enumerate}
/hets/doc/
H A DLibraries.tex19 \begin{alltt}}{\end{alltt}\ignorespacesafterend}
22 {\par\smallskip\samepage\begin{Grammar}}{\end{Grammar}\noindent
26 {\nopagebreak\begin{quote}\casl}{\end{quote}\noindent
70 \begin{document}
80 \begin{quote}
94 \begin{AbstractGrammar}
100 \begin{AbstractGrammar}
112 \begin{ConcreteDisplay}
128 \begin{quote}
129 \begin{Gramma
[all...]
H A DUserGuideCommonLogic.tex45 \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{figur
[all...]
H A Dcollected_proposals.tex10 \begin{document}
43 \begin{hetcasl}
58 \begin{verbatim}
H A DUserGuide.tex27 \newenvironment{EXAMPLE}[1][] {\par#1\begin{EXAMPLEFORMAT}\begin{ITEMS}}
35 \newenvironment{BIGEXAMPLE} {\begin{EXAMPLE}} {\end{EXAMPLE}\medskip}
36 \newenvironment{DETAILS}[1][] {#1\begin{DETAILSFORMAT}}{\end{DETAILSFORMAT}}
38 \newenvironment{META}[1][] {#1\begin{METAFORMAT}}{\end{METAFORMAT}}
40 \begin{minipage}{0.9\textwidth}\it}
132 \begin{document}
162 \begin{figure}
163 \begin{center}
186 \begin{figur
[all...]
H A Dhs2isa.tex9 \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{tabbin
[all...]
/hets/Maude/doc/
H A Ddg.tex36 \begin{itemize}
62 \begin{itemize}
105 \begin{itemize}
133 \begin{verbatim}
151 \begin{figure}[t]
152 \begin{center}
160 \begin{itemize}
186 \begin{theorem}
225 \begin{itemize}
261 \begin{figur
[all...]
H A Dmaude.tex98 \begin{verbatim}
107 \begin{verbatim}
116 \begin{verbatim}
125 \begin{verbatim}
223 \begin{itemize}
244 \begin{itemize}
315 \begin{verbatim}
327 \begin{verbatim}
337 \begin{verbatim}
369 \begin{itemiz
[all...]
/hets/ATC/doc/
H A DATC-Rule-Generation.tex5 \begin{document}
21 These files begin with an
25 \begin{description}
41 \begin{verbatim}
/hets/utils/
H A Dquickcheck.lhs17 someone on #haskell asked about supporting QC tests inside LaTeX, ex. \{begin} \{end}, how?
20 \begin{code}
/hets/HasCASL/doc/
H A DStaticAna.tex6 \begin{document}
71 \begin{verbatim}
83 \begin{verbatim}
87 \begin{verbatim}
104 \begin{itemize}
112 \begin{itemize}
134 \begin{verbatim}
163 \begin{itemize}
244 \begin{description}
/hets/FreeCAD/specifications/
H A Dgoals.tex28 \begin{document}
40 \begin{description}
64 \begin{align}
/hets/CASL/doc/
H A DsimplifySenTest.tex22 \begin{document}
25 \begin{verbatim}
227 \begin{verbatim}
H A DCASLParserOverview.tex6 \begin{document}
70 \begin{description}
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex10 \begin{document}
46 \begin{itemize}
96 \begin{itemize}
113 \begin{enumerate}
145 \begin{itemize}
172 \begin{enumerate}
193 \begin{description}
244 \begin{hetcasl}
252 \begin{itemize}
/hets/Common/doc/
H A DOverview.tex6 \begin{document}
73 \begin{description}
/hets/GMP/papers/conditional/
H A Dentcs.cls376 \begin{trivlist}\@topsep \eqntopsep % used by first \item
613 \hbox to \hsize{\parbox[t]{\hsize}{\begin{center}#1 \\ #2\end{center}}}}
946 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
969 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
/hets/GMP/papers/heterogenous/
H A Dentcs.cls376 \begin{trivlist}\@topsep \eqntopsep % used by first \item
613 \hbox to \hsize{\parbox[t]{\hsize}{\begin{center}#1 \\ #2\end{center}}}}
946 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
969 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
/hets/GMP/papers/optInWork/
H A Dentcs.cls376 \begin{trivlist}\@topsep \eqntopsep % used by first \item
613 \hbox to \hsize{\parbox[t]{\hsize}{\begin{center}#1 \\ #2\end{center}}}}
946 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
969 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
/hets/GMP/papers/optimizing/
H A Dentcs.cls376 \begin{trivlist}\@topsep \eqntopsep % used by first \item
613 \hbox to \hsize{\parbox[t]{\hsize}{\begin{center}#1 \\ #2\end{center}}}}
946 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
969 \hbox to \textwidth\bgroup\hfill\begin{minipage}{\textwidth}
/hets/Isabelle/export/
H A Dexport_helper.ml303 #> e (keyword "begin") #> pack #> expect_end;
580 e (keyword "begin")) |> liftP)
587 e (keyword "begin")) |> liftP)
713 val text = unlines ["theory "^name,"begin",body,"end"]

Completed in 41 milliseconds

12