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 D | rules.tex | 1309 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 D | Posix.sml | 794 (* 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 D | OS.sml | 998 (* 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 D | IR.sml | 194 Tree.NCONST Arbint.zero
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Font.sml | 517 (* Zero represents an error. But it's also possible to return zero if
|
H A D | Menu.sml | 305 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 D | mungeTools.sml | 124 (warn(pos, "Negative/zero conj specs illegal"); NONE)
|
/seL4-l4v-10.1.1/HOL4/src/coretypes/ |
H A D | optionScript.sml | 431 A monad with a zero (NONE)
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | folTools.sml | 456 (* A pure interface to the first-order prover: zero normalization. *)
|
/seL4-l4v-10.1.1/HOL4/src/res_quan/src/ |
H A D | res_quanLib.sml | 15 main/zero/1.0/legalcode>. This should not be interpreted as a personal
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/ |
H A D | arm_evalLib.sml | 519 val start = Arbnum.zero;
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/ |
H A D | evalML.sml | 260 val start = Arbnum.zero;
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | CODETREE_LAMBDA_LIFT.sml | 430 address zero. *)
|
H A D | CODETREE_SIMPLIFIER.sml | 1011 (* 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 D | Regexp_Type.sml | 915 (* 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 D | pathScript.sml | 353 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 D | STEScript.sml | 563 (* 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 D | sexpScript.sml | 420 (* 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 D | sexpScript.sml | 420 (* 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 D | MATCH_COMPILER.sml | 1150 (* 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 D | getting.tex | 66 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 D | getting.tex | 66 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 D | rendering.scala | 525 timing: Timing = Timing.zero,
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
H A D | rendering.scala | 525 timing: Timing = Timing.zero,
|
/seL4-l4v-10.1.1/l4v/misc/vim/ |
H A D | isabelle.vim | 552 syn match IsabelleSpecial /\\<zero>/ conceal cchar=���� 649 " match with zero width to preserve syntax highlighting of the opening command.
|
Completed in 213 milliseconds
1234567891011>>