equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{appendix}% |
3 \def\isabellecontext{appendix}% |
4 \isamarkupfalse% |
4 % |
|
5 \isadelimtheory |
|
6 % |
|
7 \endisadelimtheory |
|
8 % |
|
9 \isatagtheory |
|
10 % |
|
11 \endisatagtheory |
|
12 {\isafoldtheory}% |
|
13 % |
|
14 \isadelimtheory |
|
15 % |
|
16 \endisadelimtheory |
|
17 \isamarkuptrue% |
5 % |
18 % |
6 \begin{isamarkuptext}% |
19 \begin{isamarkuptext}% |
7 \begin{table}[htbp] |
20 \begin{table}[htbp] |
8 \begin{center} |
21 \begin{center} |
9 \begin{tabular}{lll} |
22 \begin{tabular}{lll} |
31 \caption{Overloaded Constants in HOL} |
44 \caption{Overloaded Constants in HOL} |
32 \label{tab:overloading} |
45 \label{tab:overloading} |
33 \end{center} |
46 \end{center} |
34 \end{table}% |
47 \end{table}% |
35 \end{isamarkuptext}% |
48 \end{isamarkuptext}% |
36 \isamarkuptrue% |
49 % |
37 \isamarkupfalse% |
50 \isadelimtheory |
|
51 % |
|
52 \endisadelimtheory |
|
53 % |
|
54 \isatagtheory |
|
55 % |
|
56 \endisatagtheory |
|
57 {\isafoldtheory}% |
|
58 % |
|
59 \isadelimtheory |
|
60 % |
|
61 \endisadelimtheory |
38 \end{isabellebody}% |
62 \end{isabellebody}% |
39 %%% Local Variables: |
63 %%% Local Variables: |
40 %%% mode: latex |
64 %%% mode: latex |
41 %%% TeX-master: "root" |
65 %%% TeX-master: "root" |
42 %%% End: |
66 %%% End: |