Searched refs:same (Results 26 - 50 of 478) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/polyml/basis/
H A DIntInf.sml43 (* If the remainder is zero or the same sign as the
44 divisor then the result is the same as quotRem.
H A DPrettyPrinter.sml26 the "pretty" datatype that uses the same model of the text but
32 The same as PrettyString except that the width is given explicitly
34 multibyte encodings where the number of columns is not the same as
H A DWord8.sml40 representation is the same. *)
53 (* Not the same as Word.notb because it only affects the bottom 8 bits. *)
91 right by the same amount. *)
/seL4-l4v-master/HOL4/examples/fermat/twosq/
H A DinvoluteScript.sml72 val _ = set_fixity "endo" (Infix(NONASSOC, 450)); (* same as relation *)
75 val _ = set_fixity "involute" (Infix(NONASSOC, 450)); (* same as relation *)
/seL4-l4v-master/HOL4/src/datatype/mutrec/examples/
H A Dvar_example.sml1 (* This example is basically the same as the one in example.sml, except
/seL4-l4v-master/HOL4/src/integer/
H A DCooperSyntax.sig25 free variables bound by binders higher in the same term *)
/seL4-l4v-master/isabelle/src/HOL/Hahn_Banach/document/
H A Droot.tex39 Another formal proof of the same theorem has been done in Mizar
/seL4-l4v-master/l4v/isabelle/src/HOL/Hahn_Banach/document/
H A Droot.tex39 Another formal proof of the same theorem has been done in Mizar
/seL4-l4v-master/HOL4/src/simp/src/
H A DboolSimps.sig22 those of the same guard or
H A DCache.sml88 the system will not repeatedly try (and fail) to solve the same
96 stored in the cache, and a new attempt is made to prove the same
183 same component anyway.
189 in the same list point to the same updatable reference cell *)
/seL4-l4v-master/HOL4/src/parse/
H A DGrammarDeltas.sml83 | style_encode AroundSamePrec = String "same-prec"
84 | style_encode AroundSameName = String "same-name"
87 | style_decode (String "same-prec") = SOME AroundSamePrec
88 | style_decode (String "same-name") = SOME AroundSameName
H A DTypeNet.sml10 same arity, all is well, but if they are different then the data
20 up with garbage. If a type gets replaced with a new one of the same
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DenvTools.sml78 it may happen that a mapping is different in syntax, but the semantics are same. This happens *only* if some Q maps
80 ASSERT: in ie and ie', the map order is the same i.e. nth mapping in both is for the same var *)
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DPretty.sml51 the code produced by the compiler. We can't assume that the same representations
127 same code because the "pretty" type is not the same. *)
/seL4-l4v-master/HOL4/src/1/
H A Dmatch_goal.sig18 - must be the same as any other assumptions called s
/seL4-l4v-master/HOL4/src/datatype/
H A DDatatypeSimps.sig40 that fires if all inputs give the same result.
/seL4-l4v-master/HOL4/src/metis/
H A DmlibPatricia.sml18 same data-structure. *)
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DIntset.sig48 same elements.
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dinternal_functions.sig31 same as GNU make's; it would leave trailing \\ alone.) %
/seL4-l4v-master/HOL4/Manual/Tutorial/
H A Dmore-examples.tex26 This example is the same as that covered in
H A Dtheories.tex52 system through its ``command-line interface''. At the same time, it's
66 the same way as the system's built-in theories.
/seL4-l4v-master/seL4/manual/parts/
H A Dnotifications.tex45 The \apifunc{seL4\_Poll}{sel4_poll} is the same as \apifunc{seL4\_Wait}{sel4_wait}, except if
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_masm32.S115 FLDCW [ArgVector.SaveFP+ebp] ; ...load because we need the same rounding mode in the RTS
148 ; This implements atomic addition in the same way as atomic_increment
/seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/src/
H A DregexCachedMarkedScript.sml241 - cshift preserves wellformedness and "has the same effect as shift", i.e. the cmX functions preserve wellformedness
242 - assuming a WELLFORMED&UNMARKED cmr, acceptCM does the same as acceptM
/seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/
H A Dtheories.tex52 system through its ``command-line interface''. At the same time, it's
66 the same way as the system's built-in theories.

Completed in 183 milliseconds

1234567891011>>