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

/seL4-l4v-10.1.1/HOL4/src/1/
H A DDiskThms.sig8 val read_file : string -> (string * Thm.thm) list value
H A DDiskThms.sml137 val read_file = DiskFilesHeader.convert_prethms o value
/seL4-l4v-10.1.1/HOL4/developers/
H A Dcomparelogs.sml48 fun read_file (fname,m) = let function
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml82 fun read_file acc visitedincludes (f as (fstr,fname)) oldstreams = function

Completed in 284 milliseconds