Searched defs:outs (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml929 val outs = TextIO.openOut logfilename value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake.sml335 val outs = TextIO.openOut logfilename value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DmechReasoning.sml384 val outs = trim_pair (clean_pair outs); value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml1355 let val (outs,tm) = repeat (fn (l,x) => value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/
H A Dmiller-rabin.sml708 val outs = openOut(FileSys.fullPath "../lisp/miller-rabin.lisp"); value

Completed in 98 milliseconds