Searched refs:single (Results 1 - 9 of 9) sorted by relevance

/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex212 Two processes can be invoked sequentially. (Instead of a single semicolon also
251 a single bar.)
/hets/HasCASL/doc/
H A DStaticAna.tex113 \item A single token is taken as nullary type constructor name
119 \item parenthesis may only contains a single argument. Tuple do not exist.
/hets/Isabelle/export/
H A Dparser.ml241 command "oops" >> single,
257 command "oops" >> single,
259 command ".." >> single,
260 command "." >> single]) >> op@
/hets/Maude/doc/
H A Dmaude.tex241 \emph{module expressions} that, in addition to a single module identifier,
393 can only be a single operator applied to variables, to any term $\mathit{term}_2$
H A Ddg.tex92 %single operator applied to variables declared either on-the-fly or with
/hets/doc/
H A Dhs2isa.tex90 single-parameter type classes (with some limitations), \emph{case} and
1130 single parameter operators. In order to cover other monadic operators, a
H A DUserGuide.tex1152 which does not fit on a single screen. The list of all nodes is displayed:
1824 The first choice will call VSE with a single flattened theory whereas a
1972 How is a single logic implemented in the Heterogeneous Tool Set?
H A DUserGuideCommonLogic.tex922 and the target ontology; the other names (none in this concrete case) are implicitly the same. A mapping of a single name is defined with
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 62 milliseconds