Searched refs:version (Results 276 - 300 of 687) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A Dbuild.sml7 License version 2.1 as published by the Free Software Foundation.
59 (* The version of Word32 we use depends on whether this is
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dhttp.scala145 Some(Response.text("Welcome to Isabelle/" + id + ": " + Distribution.version))
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_resources.scala150 PIDE.options.bool("jedit_auto_resolve") && undefined_blobs(change.version.nodes).nonEmpty)
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dfdt.c52 uint32_t version; member in struct:fdt_header
/seL4-l4v-10.1.1/HOL4/Manual/Quick/
H A Dquick.tex149 \hol{bossLib}{list_ss} & a version of the above for the theory of lists \\
201 \hol{Thm}{EQ_MP} \var{thm} \var{thm} & equality version of the Modus Ponens rule \\
223 \hol{PairRules}{GEN_PALPHA_CONV} & paired variable version of the above \\
224 \hol{PairRules}{PBETA_CONV} & paired variable version of the above \\
225 \hol{PairRules}{PETA_CONV} & paired variable version of the above \\
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_opsemScript.sml188 (\version.
189 if version < 6 /\ ((1 >< 0) address <> 0w:word2)
219 (\version.
220 if version >= 5 then
228 (\(version,iset).
229 if version >= 7 /\ (iset = InstrSet_ARM) then
1298 (\version.
1303 version < 6 /\ (d = n))
1308 (\(ra,rm,rn,version).
1314 let C_flag = if version
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/
H A Darm_opsemScript.sml188 (\version.
189 if version < 6 /\ ((1 >< 0) address <> 0w:word2)
219 (\version.
220 if version >= 5 then
228 (\(version,iset).
229 if version >= 7 /\ (iset = InstrSet_ARM) then
1321 (\version.
1326 version < 6 /\ (d = n))
1331 (\(ra,rm,rn,version).
1337 let C_flag = if version
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A Ddep_rewrite.sig76 (* and the second contains the rewritten version of the original *)
88 (* version of dependent rewriting. *)
164 (* - When a match is found, the matched version of the rewriting *)
/seL4-l4v-10.1.1/HOL4/src/update/
H A DupdateLib.sml17 Simpler version of Conv.COND_CONV (doesn't do alpha-conversion)
31 Simpler version of Boolconv.NOT_CONV (doesn't do double negation)
209 Evaluation for ``FILTER P l``. Faster than version in listLib.
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinaryset.sml48 * version. The `obvious' version is called old_union.
251 (* The old_union version is about 20% slower than
/seL4-l4v-10.1.1/HOL4/examples/computability/lambda/
H A DHaltingProblemsScript.sml32 HP_nselfapp is a more traditional looking version, with natural
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DrulesScript.sml416 (* Rules for Conditions (projective function version) *)
438 (* Rules for Stack (projective function version) *)
553 (* Rules for Conditions (vector version) *)
577 (* Rules for Stack (vector version) *)
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DCFL_RulesScript.sml418 (* Rules for Conditions (projective function version) *)
440 (* Rules for Stack (projective function version) *)
555 (* Rules for Conditions (vector version) *)
579 (* Rules for Stack (vector version) *)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DLine.sml7 License version 2.1 as published by the Free Software Foundation.
H A DLocaleBase.sml7 License version 2.1 as published by the Free Software Foundation.
H A DMessageBox.sml7 License version 2.1 as published by the Free Software Foundation.
H A DPainting.sml7 License version 2.1 as published by the Free Software Foundation.
H A DRectangle.sml7 License version 2.1 as published by the Free Software Foundation.
H A DShape.sml7 License version 2.1 as published by the Free Software Foundation.
H A DWinSystem.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DInputOutput.sml7 License version 2.1 as published by the Free Software Foundation.
H A DRealStringCvt.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/src/holyhammer/
H A DhhTptp.sml103 (* Type unsafe version *)
/seL4-l4v-10.1.1/HOL4/src/num/reduce/Manual/
H A Ddescription.tex107 return a theorem expressing its equivalence with a reduced version, which in
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/
H A Dllncs.cls1 % LLNCS DOCUMENT CLASS -- version 2.6

Completed in 185 milliseconds

<<11121314151617181920>>