Searched refs:labels (Results 1 - 4 of 4) sorted by relevance

/hets/doc/
H A Dcollected_proposals.tex30 parameters in the same specification all axiom labels from the
37 axiom labels and substituting words (only alphabetic charactars) which
/hets/Maude/doc/
H A Ddg.tex108 Sorts and labels are qualified by the parameter name in order to distinguish
109 different labels/sorts with the same name defined in different theories. Thus,
258 inclusion $\iota_N$.\footnote{The arrows without labels in Figure \ref{nf}
H A Dmaude.tex282 or of labels:
404 Notice that we cannot map labels, and thus we cannot identify the statements in
468 In a parameterized module $M$, all the sorts and statement labels
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 43 milliseconds