Searched defs:blue (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/tfl/src/
H A DRules.sml84 let fun blue ldisjs [] _ = [] function
/seL4-l4v-master/HOL4/src/proofman/tests/
H A Dselftest.sml87 fun blue s = "\027[0;1;34m" ^ s ^ "\027[0m" function
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4165 PolyWord blue; /* ML bool */ member in struct:__anon41

Completed in 117 milliseconds