equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{appendix}% |
3 \def\isabellecontext{appendix}% |
|
4 \isamarkupfalse% |
4 % |
5 % |
5 \begin{isamarkuptext}% |
6 \begin{isamarkuptext}% |
6 \begin{table}[htbp] |
7 \begin{table}[htbp] |
7 \begin{center} |
8 \begin{center} |
8 \begin{tabular}{lll} |
9 \begin{tabular}{lll} |
29 \caption{Overloaded Constants in HOL} |
30 \caption{Overloaded Constants in HOL} |
30 \label{tab:overloading} |
31 \label{tab:overloading} |
31 \end{center} |
32 \end{center} |
32 \end{table}% |
33 \end{table}% |
33 \end{isamarkuptext}% |
34 \end{isamarkuptext}% |
|
35 \isamarkuptrue% |
|
36 \isamarkupfalse% |
34 \end{isabellebody}% |
37 \end{isabellebody}% |
35 %%% Local Variables: |
38 %%% Local Variables: |
36 %%% mode: latex |
39 %%% mode: latex |
37 %%% TeX-master: "root" |
40 %%% TeX-master: "root" |
38 %%% End: |
41 %%% End: |