Searched defs:inter (Results 1 - 5 of 5) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A Dho_proverTools.sml970 val inter = gen_tyvar () value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibModel.sml174 fun inter s t = W.andb (s,t) function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUnicodeChars.sig132 val inter : string value
H A DUnicodeChars.sml144 val inter = U 0x2229 value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml225 fun inter [] _ = [] function

Completed in 80 milliseconds