Searched defs:INF (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSup_Inf.sig15 val INF : (int * (string * int) list) list -> value
H A DSup_Inf.sml294 and INF s (J,H) = value
[all...]
/seL4-l4v-10.1.1/HOL4/src/probability/
H A DiterateScript.sml606 val INF = store_thm ("INF", value

Completed in 49 milliseconds