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