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

/seL4-l4v-master/HOL4/src/num/theories/
H A Dselftest.sml110 fun dot t = reduction ge (vTreeOf ge t) t (Conv (fn x => x)); function
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y169 dot: label
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dreconstruct.py301 def dot(): function
/seL4-l4v-master/HOL4/src/coretypes/
H A DpairTools.sml254 fun dot 0 vstr tm away = (vstr,tm) function

Completed in 92 milliseconds