Lines Matching refs:label
268 \label{HetCASL}
291 \begin{lstlisting}[float,label={fig:lang},caption={Syntax of a simple subset of the heterogeneous specification language. \texttt{BASIC-SPEC} and \texttt{SYMBOL-MAP} have a logic specific syntax, while \texttt{ID} stands for some form of identifiers.},basicstyle=\ttfamily\small,morecomment={[l]{\%\%\ }},morekeywords={then,with,logic,spec,end,view,to},escapeinside={<>}]
328 \label{fig:LogicGraph}
423 \label{comorphisms}
611 \section{Heterogeneous Specification} \label{sec:HetSpec}
710 \section{Development Graphs}\label{sec:DevGraph}
797 \label{relationsInCL}
803 \item[Importation] \label{descr:link_import}
879 \label{sec:examples}
884 \label{sec:renam-symb-with}
927 \subsubsection{Relative Interpretation in COLORE}\label{sec:relat-interpr}
938 \label{fig:colore-graph}
976 \subsubsection{Relative Interpretation (Standalone Example)}\label{sec:rel-intpr-standalone}
1030 \label{sec:aal-example}
1115 \label{sec:heter-views-from}
1157 \section{Proofs with \Hets}\label{sec:Proofs}
1177 \caption{Prove local proof obligation\label{fig:Prove_devGraph}}
1184 \caption{\Hets Goal and Prover Interface\label{fig:proof_window}}
1189 \caption{Interface of Vampire Prover\label{fig:Vampire}}
1269 \label{sec:CC}
1284 \caption{Selection of consistency checker\label{fig:cons_devGraph}}
1289 \caption{\Hets Consistency Checker Interface\label{fig:cons_window}}
1307 \caption{Consistency checker results\label{fig:cons_res}}
1312 \label{sec:ATP}
1317 \caption{Interface of the \SPASS prover\label{fig:SPASS_GUI}}
1381 \label{tab:MathServe}
1599 \section{Hets as a web server}\label{sec:Server}