equal
deleted
inserted
replaced
3 \chapter{Appendix} |
3 \chapter{Appendix} |
4 \label{sec:Appendix} |
4 \label{sec:Appendix} |
5 |
5 |
6 \begin{figure}[htbp] |
6 \begin{figure}[htbp] |
7 \begin{center} |
7 \begin{center} |
8 \begin{tabular}{|llll|} |
8 \begin{tabular}{|lllll|} |
9 \hline |
9 \hline |
10 \texttt{arities} & |
10 \texttt{arities} & |
|
11 \texttt{assumes} & |
|
12 \texttt{axclass} & |
11 \texttt{binder} & |
13 \texttt{binder} & |
12 \texttt{classes} & |
14 \texttt{classes} \\ |
13 \texttt{consts} \\ |
15 \texttt{constdefs} & |
|
16 \texttt{consts} & |
14 \texttt{default} & |
17 \texttt{default} & |
15 \texttt{defs} & |
18 \texttt{defines} & |
|
19 \texttt{defs} \\ |
16 \texttt{end} & |
20 \texttt{end} & |
17 \texttt{global} \\ |
21 \texttt{fixes} & |
18 \texttt{infixl} & |
22 \texttt{global} & |
|
23 \texttt{inductive} & |
|
24 \texttt{infixl} \\ |
19 \texttt{infixr} & |
25 \texttt{infixr} & |
20 \texttt{instance} & |
26 \texttt{instance} & |
21 \texttt{local} \\ |
27 \texttt{local} & |
22 \texttt{mixfix} & |
28 \texttt{locale} & |
|
29 \texttt{mixfix} \\ |
23 \texttt{ML} & |
30 \texttt{ML} & |
24 \texttt{MLtext} & |
31 \texttt{MLtext} & |
25 \texttt{nonterminals} \\ |
32 \texttt{nonterminals} & |
26 \texttt{oracle} & |
33 \texttt{oracle} & |
27 \texttt{output} & |
34 \texttt{output} \\ |
28 \texttt{path} & |
35 \texttt{path} & |
29 \texttt{rules} \\ |
36 \texttt{primrec} & |
|
37 \texttt{rules} & |
30 \texttt{setup} & |
38 \texttt{setup} & |
31 \texttt{syntax} & |
39 \texttt{syntax} \\ |
32 \texttt{translations} & |
40 \texttt{translations} & |
33 \texttt{types} \\ |
41 \texttt{typedef} & |
34 \texttt{constdefs} & |
42 \texttt{types} &&\\ |
35 \texttt{axclass} &&\\ |
|
36 \hline |
43 \hline |
37 \end{tabular} |
44 \end{tabular} |
38 \end{center} |
45 \end{center} |
39 \caption{Keywords in theory files} |
46 \caption{Keywords in theory files} |
40 \label{fig:keywords} |
47 \label{fig:keywords} |