Searched refs:zero (Results 226 - 250 of 328) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/
H A Drules.tex1309 prove that the cardinality of the empty set is zero (since $n=0$ satisfies the
1387 \isa{inv~Suc} returns when applied to zero. The proof above still treats
1676 A product is zero if and only if one of the factors is zero. The
2203 Simplification reduces \isa{(m\ *\ n)\ mod\ n} to zero.
2349 A postfixed question mark~(\isa?)\index{*"? (tactical)} expresses zero or one
2353 \isa{($m$+)?} performs zero or more repetitions of method~$m$.%
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml794 (* Map the pid argument to positive, zero or
869 case we return zero. *)
887 (* The result is zero if it returns successfully. If
H A DOS.sml998 (* If the poll test returns zero then polling is
1079 (* For non-zero times we convert this to a number of
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DIR.sml194 Tree.NCONST Arbint.zero
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DFont.sml517 (* Zero represents an error. But it's also possible to return zero if
H A DMenu.sml305 non-zero allocate memory of cch+1 and pass memory pointer and cch+1 to
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DmungeTools.sml124 (warn(pos, "Negative/zero conj specs illegal"); NONE)
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DoptionScript.sml431 A monad with a zero (NONE)
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolTools.sml456 (* A pure interface to the first-order prover: zero normalization. *)
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/
H A Dres_quanLib.sml15 main/zero/1.0/legalcode>. This should not be interpreted as a personal
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml519 val start = Arbnum.zero;
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/
H A DevalML.sml260 val start = Arbnum.zero;
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_LAMBDA_LIFT.sml430 address zero. *)
H A DCODETREE_SIMPLIFIER.sml1011 (* Addition and subtraction of zero. These can arise as a result of
1084 (* Return the zero if we are anding with zero otherwise the original arg *)
1254 by zero) generate code to raise the exception at run-time.
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml915 (* of zeros and a prefix block of non-zero numbers. We make a redundant *)
1323 if Lib.all (fn i => zero <= i andalso i <= two_five_five) intlist
/seL4-l4v-10.1.1/HOL4/src/coalgebras/
H A DpathScript.sml353 return the nth state, counting from zero. To be a valid index,
365 returns the nth label, counting from zero up. To be a valid index,
/seL4-l4v-10.1.1/HOL4/examples/STE/
H A DSTEScript.sml563 (* If a number is not zero, it must be either equal to 1 or greater than 1
883 (* For all time points greater than zero, if DefSeq tf (t - 1) n returns a
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A DsexpScript.sml420 (* have a non-zero imaginary part. Here is the ACL2 documentation for *)
461 (* zero, then complex returns its first argument. The function *)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A DsexpScript.sml420 (* have a non-zero imaginary part. Here is the ACL2 documentation for *)
461 (* zero, then complex returns its first argument. The function *)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DMATCH_COMPILER.sml1150 (* It's not exhaustive if pattern zero is in the set. *)
1174 (* It's not exhaustive if pattern zero is in the set. *)
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dgetting.tex66 zero, while {\tt?z6} has identifier {\tt"z"} and subscript~6. The same
232 to have subscript zero, improving readability and reducing subscript
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dgetting.tex66 zero, while {\tt?z6} has identifier {\tt"z"} and subscript~6. The same
232 to have subscript zero, improving readability and reducing subscript
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Drendering.scala525 timing: Timing = Timing.zero,
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Drendering.scala525 timing: Timing = Timing.zero,
/seL4-l4v-10.1.1/l4v/misc/vim/
H A Disabelle.vim552 syn match IsabelleSpecial /\\<zero>/ conceal cchar=����
649 " match with zero width to preserve syntax highlighting of the opening command.

Completed in 213 milliseconds

1234567891011>>