Searched refs:describe (Results 1 - 6 of 6) sorted by relevance

/hets/doc/
H A Dcollected_proposals.tex20 These document tries to describe request from different Hets users. It
H A DUserGuideCommonLogic.tex858 %TODO: briefly describe colore-relations.
H A Dhs2isa.tex87 We firstly describe the subset of Haskell that we cover.
/hets/Maude/doc/
H A Ddg.tex3 We describe in this section how Maude structuring mechanisms
9 We describe here how Maude modules, theories, and views are translated into
H A Dmaude.tex219 mechanisms to structure its modules. We describe in this section these
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex145 It remains to describe the process expression that may occur on the left hand

Completed in 56 milliseconds