Searched defs:red (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUnits.sml99 fun red (news,th) = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUnits.sml99 fun red (news,th) = function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dtestutils.sig38 val red : string -> string value
H A Dtestutils.sml79 val red = checkterm "\027[31m" value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairedLambda.sml136 val red = TRY_CONV (BETA_CONV ORELSEC PAIRED_BETA_CONV) redex value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DMB_Monitor.sml34 val red = boldred value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DColor.sml255 val {red, green, blue} = toRGB x value
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_tools.sig29 val red : string -> string value
H A DHolmake_tools.sml47 val red = checkterm "\027[31m" value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml287 fun red x x' = is_edge G (x, x') andalso not (eq_key x' z); function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClauseset.sml432 fun red l ro s = foldl (consider_rw l ro) s (T.matched p l) function
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml1427 val red = end_itlist (fn t1 => fn t2 => value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPrim_rec.sml723 val red = conv (fst(dest_imp(concl uniq))) value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4162 PolyWord red; /* ML bool */ member in struct:__anon113

Completed in 314 milliseconds