Searched defs:more (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/
H A Dtool.tex[all...]
/seL4-l4v-master/HOL4/Manual/Tutorial/
H A Dtool.tex[all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dslist.h162 int more(void) const { return next!=NULL; } function in class:SList::ite
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dutils.sml158 let val (more,result) = value
160 let val more = f a value
389 let val (more,result) = value
391 let val more = f a value
[all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c128 int n, bn, more; local
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dcone-of-influence.lisp

Completed in 69 milliseconds