Searched refs:same (Results 76 - 100 of 478) sorted by relevance
1234567891011>>
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Binaryset.sig | 60 same elements.
|
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | dbgTools.sml | 57 (* however, after a run, may need to reset to default if rerun is done within same session *)
|
H A D | reachTools.sml | 65 (* same as RcomputeReachable but in this case the tb's have already been computed *)
|
/seL4-l4v-master/HOL4/examples/acl2/examples/LTL/ |
H A D | COIRScript.sml | 73 * the same variable is the LHS or more than one equation, then the
|
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Edit.sml | 25 (* We use the same type so we can use this everywhere we can use
|
/seL4-l4v-master/HOL4/examples/temporal_deep/src/translations/ |
H A D | translationsLib.sig | 23 * This function does the same translation as ltl2omega_rewrite.
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | BoolArray.sml | 138 may not be on the same byte alignment. Does not examine the 274 (* To save duplicating almost the same code just define map in terms of mapi. *) 413 source and destination are aligned on the same bit offset. 417 (* Copy one array into another. The arrays could be the same but in that case di must be zero. *)
|
H A D | Word32In64.sml | 55 (* Not the same as Word.notb because it only affects the bottom 32 bits. *)
|
H A D | Word32InLargeWord64.sml | 52 (* Not the same as Word.notb because it only affects the bottom 32 bits. *)
|
H A D | Signal.sml | 105 the Unix implementations of Poly/ML the type `Posix.Signal.signal` is the same as `int`
|
/seL4-l4v-master/isabelle/src/Doc/Logics/document/ |
H A D | syntax.tex | 37 possible for any constant provided that $\tau$ and $\tau'$ are the same type.
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Logics/document/ |
H A D | syntax.tex | 37 possible for any constant provided that $\tau$ and $\tau'$ are the same type.
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | PmatchHeuristics.sig | 10 collapse_cases : bool, (* collapse cases that lead to same result ? *)
|
/seL4-l4v-master/l4v/camkes/glue-spec/document/ |
H A D | intro.tex | 49 the formal specification of a complete \camkes component system from the same
|
/seL4-l4v-master/HOL4/examples/algebra/field/ |
H A D | fieldBinomialScript.sml | 190 (3) same as (1)
|
/seL4-l4v-master/HOL4/src/AI/proof_search/ |
H A D | psBigSteps.sml | 175 Toy example (same as in psMCTS)
|
/seL4-l4v-master/HOL4/src/marker/ |
H A D | markerScript.sml | 17 is marked at the same level *)
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | BUILTINS.sml | 98 At the lowest level this is the same as WordComparison but
|
/seL4-l4v-master/HOL4/examples/fermat/little/ |
H A D | FLTpetersenScript.sml | 178 (* or a ** p and a have the same remainder in modulo p *)
|
/seL4-l4v-master/HOL4/examples/ |
H A D | euclid.sml | 96 (* Various proofs of the same formula *)
|
/seL4-l4v-master/HOL4/Manual/Logic/ |
H A D | syntax.tex | 191 because it will always denote the same operation in any 231 same name, 384 the same as using partial environments with finite domains---it is 520 distinguish variables from constants with the same name. A variable 539 Note that it is possible for constants and variables\index{variables, in HOL logic@variables, in \HOL{} logic!with same names} to have the 540 same name. It is also possible for different variables to have the 541 same name, if they have different types. 581 names\index{variables, in HOL logic@variables, in \HOL{} logic!with same names}, 808 occur if the variables had the same name component and their types 837 sides of the above equation are elements of the same se [all...] |
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | holindex-demo.tex | 58 Use the same formating options as the munger 238 It is a little bit trickier to get the same effect for citation lists. There is however,
|
/seL4-l4v-master/HOL4/src/pattern_matches/ |
H A D | patternMatchesSyntax.sig | 37 It fails, if not all paired abstractions use the same 229 one that does not use the same variable name in
|
/seL4-l4v-master/HOL4/src/quotient/examples/lambda/ |
H A D | barendregt.sml | 159 (* Need to group together matches which have the same "x" match; *) 161 (* and then use the same variant x' for each of the new shifted *)
|
/seL4-l4v-master/HOL4/src/quotient/examples/sigma/ |
H A D | barendregt.sml | 160 (* Need to group together matches which have the same "x" match; *) 162 (* and then use the same variant x' for each of the new shifted *)
|
Completed in 171 milliseconds
1234567891011>>