Searched defs:old (Results 26 - 29 of 29) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_grammar.sml263 val old = #absyn_postprocessors g value
269 val old = #absyn_postprocessors g value
278 val old = #preterm_processors g value
285 val old = #preterm_processors g value
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml146 val old = subtract (intersect tyvars th_tyvars) redexs value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sml3895 val old = MEM pAddrIdx value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4902 Window old = XGetSelectionOwner(DEREFDISPLAYHANDLE(dsHandle)->display,selection); local

Completed in 191 milliseconds

12