Searched defs:hname (Results 1 - 1 of 1) sorted by last modified time
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ | ||
| H A D | cearTools.sml | 301 val hname = rator(lhs(concl(SPEC_ALL hd_def))) value 756 val hname value [all...] |
Completed in 41 milliseconds