Searched defs:unchanged (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/tools/mode-tests/
H A Dholscript-tests.el
/seL4-l4v-master/HOL4/src/metis/
H A DmlibClauseset.sml440 fun unchanged i th = function
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/step/
H A Dx64_stepLib.sml1123 fun unchanged l = function
/seL4-l4v-master/HOL4/src/tfl/src/
H A DRW.sml423 fun unchanged (NO_CHANGE _) = true | unchanged _ = false; function
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml1663 val (unchanged, changed) = value

Completed in 109 milliseconds