Searched defs:cycle (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dltl.lisp169 (defmacro cycle (p) `(<- ,p :cycle)) function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTptp.sml260 fun cycle _ ([], _) = raise Bug "cycle" function
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml46 and cycle left mid [] tail res = accuperms left (mid::tail) res function

Completed in 44 milliseconds