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

/hets/doc/
H A DLibraries.tex9 \usepackage{casl}
26 {\nopagebreak\begin{quote}\casl}{\end{quote}\noindent
225 A CASL library is stored in a file ending ``.casl''. A directory having
235 with a standard mode for these.}, indicating that the needed
H A DUserGuide.tex6 \usepackage{casl}
684 \texttt{Order.casl} (actually, this file is provided
685 with the \Hets distribution as \texttt{Hets-lib/UserManual/Chapter3.casl}).
690 \texttt{hets Order.casl}
712 \item[\texttt{-a ANALYSIS}, \texttt{--casl-amalg=ANALYSIS}]
732 The default value for \texttt{--casl-amalg} is
743 \texttt{.casl} & \CASL & \CASL \\\hline
760 Although the endings \texttt{.casl} and \texttt{.het} are
909 Let us extend the above library \texttt{Order.casl}. One use of the
950 \texttt{hets -g Order.casl}
[all...]
H A DUserGuideCommonLogic.tex19 \usepackage{casl}
619 \texttt{.casl} & \CASL & \CASL \\\hline
627 Although the endings \texttt{.casl} and \texttt{.het} are
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 b
[all...]

Completed in 269 milliseconds