/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | build.sml | 7 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 D | http.scala | 145 Some(Response.text("Welcome to Isabelle/" + id + ": " + Distribution.version))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_resources.scala | 150 PIDE.options.bool("jedit_auto_resolve") && undefined_blobs(change.version.nodes).nonEmpty)
|
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | fdt.c | 52 uint32_t version; member in struct:fdt_header
|
/seL4-l4v-10.1.1/HOL4/Manual/Quick/ |
H A D | quick.tex | 149 \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 D | arm_opsemScript.sml | 188 (\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 D | arm_opsemScript.sml | 188 (\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 D | dep_rewrite.sig | 76 (* 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 D | updateLib.sml | 17 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 D | Binaryset.sml | 48 * 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 D | HaltingProblemsScript.sml | 32 HP_nselfapp is a more traditional looking version, with natural
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | rulesScript.sml | 416 (* 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 D | CFL_RulesScript.sml | 418 (* 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 D | Line.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | LocaleBase.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | MessageBox.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | Painting.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | Rectangle.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | Shape.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | WinSystem.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
H A D | InputOutput.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | RealStringCvt.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/HOL4/src/holyhammer/ |
H A D | hhTptp.sml | 103 (* Type unsafe version *)
|
/seL4-l4v-10.1.1/HOL4/src/num/reduce/Manual/ |
H A D | description.tex | 107 return a theorem expressing its equivalence with a reduced version, which in
|
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/ |
H A D | llncs.cls | 1 % LLNCS DOCUMENT CLASS -- version 2.6
|