Searched defs:on (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/string/Manual/
H A Ddescription.tex[all...]
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dtactics.tex[all...]
/seL4-l4v-master/HOL4/src/quotient/Manual/
H A Dquotient.tex[all...]
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/Examples/
H A DmlEdit.sml164 val on = { value
524 val on = { value
/seL4-l4v-master/HOL4/src/basicProof/
H A DBasicProvers.sig67 val on : (thm -> tactic) * (term quotation * tactic) -> tactic value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmemmgr.cpp1025 void MemMgr::ProtectImmutable(bool on) argument
[all...]
/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex[all...]

Completed in 82 milliseconds