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

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Dwhile_loop_vars_preserved.c11 unsigned loop(unsigned dog, unsigned cat, unsigned mouse, unsigned horse) argument
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dmetis.sml200 val cat = Problem.categorize cls value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml200 val cat = Problem.categorize cls value
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DCooperMath.sml916 val cat = categorise_leaf term value

Completed in 48 milliseconds