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

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sml212 fun toFile Nil = () function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sml212 fun toFile Nil = () function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_tools.sig60 val toFile : string -> File value
H A DHolmake_tools.sml289 fun toFile s0 = let function

Completed in 95 milliseconds