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

/seL4-l4v-master/HOL4/src/1/
H A DDiskThms.sig5 val write_file : string -> (string * Thm.thm) list -> unit value
H A DDiskThms.sml20 fun write_file fname named_thms = let function
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sig164 val write_file : string -> string -> unit value
H A DaiLib.sml939 fun write_file file s = function

Completed in 40 milliseconds