Searched defs:di (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/
H A Dproof-tools.tex[all...]
H A Deuclid.tex[all...]
H A Dparity.tex[all...]
H A Dlogic.tex[all...]
/seL4-l4v-master/HOL4/Manual/Translations/IT/Logic/
H A Dsyntax.tex[all...]
H A Dsemantics.tex[all...]
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex[all...]
H A Ddrules.tex[all...]
H A Dlibraries.tex[all...]
H A Dtheories.tex[all...]
H A Dsystem.tex[all...]
/seL4-l4v-master/HOL4/src/portableML/
H A DArbrat.sml73 val di = Arbint.fromNat d value
/seL4-l4v-master/HOL4/src/integer/
H A DCooperMath.sml491 val di = mk_injected d value
/seL4-l4v-master/HOL4/src/real/
H A DrealSimps.sml982 val di = Arbint.fromNat dn value
/seL4-l4v-master/HOL4/src/quotient/examples/
H A Dind_rel.sml1043 let val di = mk_disj(rand(rator(concl th1)), value

Completed in 118 milliseconds