Searched defs:HetCATS (Results 1 - 3 of 3) sorted by relevance

/hets/CASL/doc/
H A DCASLParserOverview.tex16 see the documentation for HetCATS and Common
20 \texttt{cd HetCATS/CASL} and call \texttt{./ghc-call} (a script that contains
68 \section{Source files in \texttt{HetCATS/CASL}}
/hets/Common/doc/
H A DOverview.tex16 see the documentation for HetCATS
21 needed by most other directories of \texttt{HetCATS}. The basic types are
28 \texttt{cd HetCATS/Common} and call \texttt{./ghc-call} (a script that contains
71 \section{Source files in \texttt{HetCATS/Common}}
/hets/HasCASL/doc/
H A DStaticAna.tex16 see the documentation for HetCATS, Common, CASL
240 \section{Sources in \texttt{HetCATS/HasCASL}}

Completed in 2197 milliseconds