Searched defs:constraints (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/integer/
H A DCooperShell.sml556 val (constraints, nonconstraints) = value
/seL4-l4v-master/HOL4/src/tfl/src/
H A DInduction.sml241 val constraints = CONJUNCT2 lem value
277 val constraints = map #1 existentials value

Completed in 40 milliseconds