--- a/doc-src/TutorialI/appendix.tex Thu Jan 25 11:59:52 2001 +0100
+++ b/doc-src/TutorialI/appendix.tex Thu Jan 25 15:31:31 2001 +0100
@@ -3,7 +3,7 @@
\chapter{Appendix}
\label{sec:Appendix}
-\begin{figure}[htbp]
+\begin{table}[htbp]
\begin{center}
\begin{tabular}{|l|l|l|}
\hline
@@ -98,11 +98,13 @@
\hline
\end{tabular}
\end{center}
-\caption{Mathematical symbols, their ASCII-equivalents and ProofGeneral codes}
-\label{fig:ascii}
-\end{figure}\indexbold{ASCII symbols}
+\caption{Mathematical symbols, their ASCII-equivalents and X-Symbol codes}
+\label{tab:ascii}
+\end{table}\indexbold{ASCII symbols}
-\begin{figure}[htbp]
+\input{Misc/document/appendix.tex}
+
+\begin{table}[htbp]
\begin{center}
\begin{tabular}{|lllllllll|}
\hline
@@ -143,11 +145,11 @@
\end{tabular}
\end{center}
\caption{Reserved words in HOL terms}
-\label{fig:ReservedWords}
-\end{figure}
+\label{tab:ReservedWords}
+\end{table}
-%\begin{figure}[htbp]
+%\begin{table}[htbp]
%\begin{center}
%\begin{tabular}{|lllll|}
%\hline
@@ -175,5 +177,5 @@
%\end{tabular}
%\end{center}
%\caption{Minor keywords in HOL theories}
-%\label{fig:keywords}
-%\end{figure}
+%\label{tab:keywords}
+%\end{table}