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

/hets/Isabelle/export/
H A Dexport_helper.ml160 i.e. the start of each sublist will satisfy p and all
162 sublist may start with an element that does not satisfy p.
H A Dparser.ml227 i.e. the start of each sublist will satisfy p and all
229 sublist may start with an element that does not satisfy p.
/hets/Maude/doc/
H A Dmaude.tex61 to satisfy the executability requirements of confluence, termination, and
165 transitions must satisfy several additional requirements, including that
/hets/doc/
H A Dhs2isa.tex371 satisfy the axioms of the class. Since our translation only generates
1000 that satisfy the monadic axioms. This solution can be expressed in terms of

Completed in 156 milliseconds