Searched defs:addl (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/metis/ | ||
| H A D | mlibUnits.sig | 17 val addl : thm list -> units -> units value |
| H A D | mlibUnits.sml | 129 val addl = C (foldl (uncurry add)); value |
Completed in 34 milliseconds