Searched defs:Set (Results 1 - 2 of 2) sorted by relevance

/hets/doc/
H A DLibraries.tex148 \section{Proposal for implementation in the Heterogeneous Tool Set (\Hets)}
H A DUserGuideCommonLogic.tex177 The Heterogeneous Tool Set (\Hets) is an open source software providing
204 \section{The Heterogeneous Tool Set and Its Input Languages}
206 The central idea of the Heterogeneous Tool Set (\protect\Hets) is to
1617 Set the verbosity level according to \texttt{Int}. Default is 1.

Completed in 42 milliseconds