Lines Matching defs:Hets
51 The {\sc Csp-Casl} parser is being programmed as a part of {\tt Hets} and uses relative paths within the directory structure of {\tt Hets}.
52 Consequently, the directory containing the {\sc Csp-Casl} parser has to be a direct subdirectory of {\tt Hets}. No special characters
62 directory {\tt HetCATS(Hets)}, followed by
84 \subsection{Top-level directory {\tt Hets} \& {\tt Hets/CASL}}
86 {\sc Csp-Casl} depends primary on {\sc Casl}, which depends on many other sources of {\tt Hets}. For detailed information about {\sc Casl}, you can find the documentation here:
90 For detailed information about {\tt Hets}, you can find the documentation here:
92 Path/to/Hets-doc
95 \subsection{Directory {\tt Hets/CspCasl}}