Searched defs:without (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/examples/imperative/ | ||
| H A D | necec2010.sml | 11 conclusion as drawn from the assumptions. A goal is a similar structure, without the theorems: that is, the goal consists structure |
Completed in 33 milliseconds