Searched defs:proc (Results 1 - 9 of 9) sorted by path
| /seL4-l4v-master/HOL4/examples/ARM/v7/eval/ |
| H A D | arm_evalScript.sml | 193 val proc = Q.store_thm("proc", `proc n f (n,x) = f x`, SRW_TAC [] [proc_def]) value
[all...] |
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | internal_functions.sml | 286 val proc = execute ("/bin/sh", ["-c", arg]) value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Options.sig | 13 type proc = string * string list -> unit type
|
| H A D | Options.sml | 15 type proc = string * string list -> unit; type
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Options.sig | 13 type proc = string * string list -> unit type
|
| H A D | Options.sml | 15 type proc = string * string list -> unit; type
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | interpret.cpp | 337 void IntTaskData::InitStackFrame(TaskData *parentTask, Handle proc, Handle arg) argument
|
| H A D | processes.cpp | 1615 bool Processes::ForkFromRTS(TaskData *taskData, Handle proc, Handle arg) argument
|
| H A D | x86_dep.cpp | 553 void X86TaskData::InitStackFrame(TaskData *parentTaskData, Handle proc, Handle arg) argument
|
Completed in 90 milliseconds