Searched refs:core (Results 76 - 83 of 83) sorted by relevance
1234
| /seL4-l4v-10.1.1/HOL4/Manual/Tutorial/ |
| H A D | logic.tex | 134 A large collection of term constructors and destructors is available for the core theories in \HOL.
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 978 let (* This is either a type abbreviation in the core language, in a structure
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/ |
| H A D | riscv.sml | 2274 fun sendIPI core =
2276 val id = BitsN.fromNat(BitsN.toNat core,8)
|
| H A D | riscvScript.sml | 1463 ("sendIPI",Var("core",F64),
1466 Let(Var("id",F8),Mop(Cast F8,Var("core",F64)),
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/ |
| H A D | cheriScript.sml | 4509 (nVar"core",
4513 Mop(Cast F8,nVar"core"),
4780 (nVar"core",
4784 Mop(Cast F8,nVar"core"),
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/quotient/Manual/ |
| H A D | quotient.tex | 364 form the core theory that
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | libraries.tex | 2265 La riscrittura � l'``operazione core'' del semplificatore. Questa sezione
|
| H A D | theories.tex | 2988 core in questa teoria sono:
|
Completed in 249 milliseconds
1234