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

/seL4-l4v-master/l4v/isabelle/src/HOL/Data_Structures/document/
H A Droot.tex
/seL4-l4v-master/isabelle/src/HOL/Data_Structures/document/
H A Droot.tex
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/Examples/
H A DmlEdit.sml304 val black = RGB{red=0, blue=0, green = 0} value
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DCommonDialog.sml1467 val black = fromCR(RGB{red=0, green=0, blue=0}) value

Completed in 42 milliseconds