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

12

/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml146 val old = subtract (intersect tyvars th_tyvars) redexs value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sml3895 val old = MEM pAddrIdx value
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4876 Window old = XGetSelectionOwner(DEREFDISPLAYHANDLE(dsHandle)->display,selection); local

Completed in 116 milliseconds

12