equal
deleted
inserted
replaced
1 %:wrap=soft:maxLineLen=78: |
1 %:wrap=soft:maxLineLen=78: |
2 %remove after isabelle build started working ----------------- |
|
3 \documentclass{article} |
|
4 \usepackage{../../isabelle,../../isabellesym} |
|
5 \usepackage{graphicx} |
|
6 |
|
7 \usepackage{hyperref} %\url{...} don't use together with isabelle |
|
8 \usepackage{breakurl} %\url{...} don't use together with isabelle |
|
9 \usepackage{paralist} % compactitem |
|
10 |
|
11 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
|
12 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}} |
|
13 \def\see{$\rightarrow$} |
|
14 \newtheorem{UR}{UR}[section] |
|
15 \newtheorem{Expl}{Expl}[section] |
|
16 |
|
17 \begin{document} |
|
18 |
2 |
19 \section{List of terms used in the \isac-project}\label{terms} |
3 \section{List of terms used in the \isac-project}\label{terms} |
20 %============================================================================ |
4 %============================================================================ |
21 This list follows the original one in \cite[Appendix D]{isac:all}. It is a |
5 This list follows the original one in \cite[Appendix D]{isac:all}. It is a |
22 selection concerning the specify-phase. In particular, the terms used for this |
6 selection concerning the specify-phase. In particular, the terms used for this |
303 .\>.\>"$x = 2 - 1$" \\ |
287 .\>.\>"$x = 2 - 1$" \\ |
304 .\>.\>"$x = 1$" \\ |
288 .\>.\>"$x = 1$" \\ |
305 "$x = 1$" |
289 "$x = 1$" |
306 \end{tabbing}} |
290 \end{tabbing}} |
307 |
291 |
308 |
|
309 |
|
310 %\subsection{TODO} |
292 %\subsection{TODO} |
311 %\subsubsection{TODO} |
293 %\subsubsection{TODO} |
312 |
|
313 \bibliographystyle{plain} |
|
314 \bibliography{root} |
|
315 |
|
316 \end{document} |
|