Lines Matching +refs:casl +refs:mode +refs:map
19 \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}, or \texttt{het}
1451 \Hets in interactive mode. (\texttt{gen\_trm} formats are currently not
1456 casl
1579 \item[\texttt{-I}, \texttt{-{}-interactive}] run \Hets in interactive mode
1585 \Hets in interactive mode
1588 with \Hets in interactive mode by listening to the port \texttt{PORT}
1591 with \Hets in interactive mode via connecting to the port on host
1641 %%% mode: latex
1649 % LocalWords: minisat Twelf Attr clif libdir casl het clf Pred PetHappy gui DG