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

/seL4-l4v-master/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-master/HOL4/src/probability/
H A DiterateScript.sml992 val INF = store_thm ("INF", value

Completed in 112 milliseconds