Searched defs:reds (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/metis/ | ||
| H A D | mlibClauseset.sml | 434 fun reds (i,s) = function |
| /seL4-l4v-10.1.1/HOL4/src/n-bit/ | ||
| H A D | blastLib.sml | 1181 val reds = value |
Completed in 73 milliseconds