Searched +refs:casl +refs:mode +refs:map (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex19 \usepackage{casl}
619 \texttt{.casl} & \CASL & \CASL \\\hline
627 Although the endings \texttt{.casl} and \texttt{.het} are
840 \textbf{view} \textit{v} : \{ \textit{someCLText} \textbf{with} \textit{<symbol map (see below)>} \} \textbf{to} \textit{someTargetCLText} \textbf{end}
842 where a symbol map allows for renaming symbols, e.g.
872 Except for importation and inclusion, you can specify an optional symbol map
873 (name map) in a relation.\footnote{While the ``copy'' semantics of Common Logic importations does not permit renamings, \HetCASL's extension mechanism offers an alternative possibility to reuse ontologies and rename some of their symbols, using the ``\textit{importedSpec} \textbf{with} \textit{name1Old} |-> \textit{name1New}, \textit{name2Old} |-> \textit{name2New} \textbf{then} \textit{importingSpec}'' syntax.}
921 A symbol map only needs to list those names that differ between the source
1323 in the top right part of the window the batch mode can be controlled. The
1448 a corresponding \texttt{env}, \texttt{casl}, o
[all...]

Completed in 1264 milliseconds