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

/seL4-l4v-master/HOL4/examples/formal-languages/context-free/
H A DgrammarLib.sml210 fun complete m = m <- repeat ((getP Char.isSpace >> ok) ++ comment) function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1016 val complete = EQ_MP rewrite thmb value
/seL4-l4v-master/HOL4/src/probability/
H A Dreal_topologyScript.sml7555 val complete = new_definition ("complete", value
[all...]

Completed in 164 milliseconds