Skip to content
Snippets Groups Projects
Commit e4c79feb authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

report: appendix: fix headings

parent 9a6e7639
Branches
No related tags found
No related merge requests found
......@@ -4,7 +4,7 @@ Only a subset of the upper level ontology are actually taken
advantage of in the existing Coq and Isabelle exports. This
section lists which predicates are used and wich are not.
\subsection*{ULO Predicates used in the Isabelle Exports}
\subsection*{ULO Predicates used in the Isabelle Exports~\cite{uloisabelle}}
\begin{flushleft}
\texttt{check-time} \texttt{defines} \texttt{definition}
......@@ -19,7 +19,7 @@ section lists which predicates are used and wich are not.
\texttt{unimportant} \texttt{universe} \texttt{uses}
\end{flushleft}
\subsection*{ULO predicates \emph{not} used in the Isabelle exports.}
\subsection*{ULO Predicates \emph{not} used in the Isabelle Exports~\cite{uloisabelle}}
\begin{flushleft}
\texttt{action-times} \texttt{aligned-with}
......@@ -48,7 +48,7 @@ section lists which predicates are used and wich are not.
\texttt{uses-implementation} \texttt{uses-interface}
\end{flushleft}
\subsection*{ULO predicates used in the Coq exports.}\label{fig:used}
\subsection*{ULO Predicates used in the Coq Exports~\cite{ulocoq}}\label{fig:used}
\begin{flushleft}
\texttt{axiom} \texttt{definition}
......@@ -61,7 +61,7 @@ section lists which predicates are used and wich are not.
\texttt{uses}
\end{flushleft}
\subsection*{ULO predicates \emph{not} used in the Coq exports.}\label{fig:used}
\subsection*{ULO Predicates \emph{not} used in the Coq Exports~\cite{ulocoq}}\label{fig:used}
\begin{flushleft}
\texttt{action-times} \texttt{aligned-with}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment