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

/hets/doc/
H A DUserGuideCommonLogic.tex840 \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
1449 file. \texttt{hpf} files are plain text files representing heterogeneous
1450 proof scripts. The contents of a \texttt{hpf} file must be valid input for
1451 \Hets in interactive mode. (\texttt{gen\_trm} formats are currently not
1466 | hpf
[all...]

Completed in 42 milliseconds