Searched defs:False (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/src/HolQbf/
H A DQbfCertificate.sml281 exception False exception
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_FUNCTIONS.sml38 val False = word0 value
H A DCODETREE_SIMPLIFIER.sml1464 val False = word0 value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dinterpret.cpp83 const PolyWord False = TAGGED(0); variable
[all...]

Completed in 106 milliseconds