Searched refs:endp (Results 26 - 29 of 29) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A DsexpScript.sml1697 (* (cond ((endp triples) nil) *)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A DsexpScript.sml1697 (* (cond ((endp triples) nil) *)
H A Dacl2_packageScript.sml2847 (* (cond ((endp triples) *)
2879 (* (if (endp tail) *)
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dacl2_packageScript.sml2847 (* (cond ((endp triples) *)
2879 (* (if (endp tail) *)

Completed in 64 milliseconds

12