Searched refs:embedded (Results 1 - 2 of 2) sorted by relevance

/hets/doc/
H A DUserGuide.tex329 embedded in the specification.
811 \texttt{List}, which is implicitly embedded into \CspCASL.
H A DUserGuideCommonLogic.tex389 embedded in the specification. For Common Logic, \HasCASL

Completed in 46 milliseconds