Searched defs:open (Results 1 - 3 of 3) sorted by last modified time
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ | ||
| H A D | Proof.C | 43 char* open(File& fp) function in class:TempFiles |
| H A D | File.C | 4 void File::open(int file_descr, FileMode m, bool own) function in class:File 16 void File::open(cchar* name, cchar* mode_) function in class:File |
| /seL4-l4v-10.1.1/HOL4/examples/imperative/ | ||
| H A D | necec2010.sml | 23 We first load these libraries and open them to make them public. type |
Completed in 48 milliseconds