Searched defs:revert (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/tools/Holmake/mosml/ | ||
H A D | BuildCommand.sml | 81 fun revert() = function |
/seL4-l4v-10.1.1/HOL4/src/postkernel/ | ||
H A D | Theory.sml | 1035 fun revert _ = function |
Completed in 47 milliseconds