Searched defs:syms (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DProblem.sml25 fun syms (cl,n) = n + LiteralSet.symbols cl function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DProblem.sml25 fun syms (cl,n) = n + LiteralSet.symbols cl function
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dmultiboot.h51 uint32_t syms[4]; member in struct:multiboot_info::multiboot_part2
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttPredict.sml21 val syms = List.concat symsl value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibThm.sml464 fun syms [] th = th function
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml1396 val syms = map (MATCH_MP QUOTIENT_SYM) quot_ths value
1627 val syms = map (MATCH_MP QUOTIENT_SYM) quot_ths value

Completed in 167 milliseconds