Searched defs:part1 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dmultiboot.h46 } part1; member in struct:multiboot_info
/seL4-l4v-10.1.1/HOL4/src/sort/
H A DpermLib.sml721 val part1 = if xs_ord = xs then (fn t => raise UNCHANGED) value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_opsScript.sml2245 val part1 = MATCH_MP (MATCH_MP SPEC_WEAKEN th) lemma value

Completed in 92 milliseconds