Searched defs:o2 (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/
H A Dexport_codeLib.sml67 val o2 = "\t/* " ^ fill "" " " (size l1) l2 ^ " */\n" value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dexport_codeLib.sml67 val o2 = "\t/* " ^ fill "" " " (size l1) l2 ^ " */\n" value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dexport_codeLib.sml72 val o2 = "\t/* " ^ fill "" " " (size l1) l2 ^ " */\n" value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml

Completed in 77 milliseconds