Lines Matching refs:endp
434 [oracles: DEFUN COMMON-LISP::ENDP] [axioms: ] [] |- endp x = atom x,
439 `endp x = atom x`;
449 itel [(endp lst,nil); (equal x (car lst),lst)]
456 itel [(endp lst,nil); (equal x (car lst),lst)]
464 itel [(endp x,y); (member_equal (car x) y,union_equal (cdr x) y)]
471 ite (endp x) t
493 itel [(endp lst,nil); (eq x (car lst),lst)] (member_eq x (cdr lst)),
499 ite (endp x) t (andl [member_eq (car x) y; subsetp_eq (cdr x) y]),
512 itel [(endp alist,nil); (eq x (caar alist),car alist)]
519 itel [(endp alist,nil); (equal x (caar alist),car alist)]
536 [(endp alist,nil);
544 itel [(endp l,t); (member_equal (car l) (cdr l),nil)]
550 |- strip_cars x = ite (endp x) nil (cons (caar x) (strip_cars (cdr x))),
608 itel [(endp l,nil); (zp n,car l)] (nth (add (int ~1) n) (cdr l)),
679 itel [(endp l,nil); (eql x (car l),l)] (member x (cdr l)),
685 itel [(endp l,nil); (eql x (car l),l)] (member x (cdr l))`,
692 itel [(endp l,t); (member (car l) (cdr l),nil)]
699 itel [(endp alist,nil); (eql x (caar alist),car alist)]
706 itel [(endp alist,nil); (eql x (caar alist),car alist)]
721 itel [(endp alist,nil); (eql x (cdar alist),car alist)]
728 itel [(endp alist,nil); (equal x (cdar alist),car alist)]
742 itel [(endp alist,nil); (eq x (cdar alist),car alist)]
1351 [(endp alist,nil); (string_equal acl2_str (caar alist),car alist)]
1550 ite (endp (cdr lst)) (car lst)
1574 itel [(endp l,nil); (equal acl2_str (symbol_name (car l)),l)]
1581 itel [(endp l,nil); (equal acl2_str (symbol_name (car l)),l)]
1589 ite (endp x) y (cons (car x) (binary_append (cdr x) y)),
1595 ite (endp x) y (cons (car x) (binary_append (cdr x) y))`,
1617 ite (endp x) (str "")
1624 itel [(endp l,nil); (eql x (car l),remove x (cdr l))]
1631 ite (endp x) nil
1639 [(endp l,nil);
1656 [(endp l,nil);
1667 |- revappend x y = ite (endp x) y (revappend (cdr x) (cons (car x) y)),
1682 [(endp l1,nil);
1689 |- strip_cdrs x = ite (endp x) nil (cons (cdar x) (strip_cdrs (cdr x))),
1706 [(endp alist,nil);
1726 ite (endp defuns) (reverse acc)
1791 ite (endp lst) ans
1811 itel [(endp x,nil); (member_eq (car x) y,t)]
1818 itel [(endp x,nil); (member_equal (car x) y,t)]
1825 ite (endp forms) nil
1834 itel [(endp lst,nil); (endp (cdr lst),car lst)]
1880 [(endp l,nil);
1891 [(endp l,nil);
1913 itel [(endp lst,nil); (equal item (car lst),acc)]
1920 itel [(endp lst,nil); (eql item (car lst),acc)]
1935 itel [(endp lst,nil); (eq item (car lst),acc)]
1966 ite (endp bindings)
1990 ite (ite (endp bindings) (endp bindings) (endp (cdr bindings)))
2233 ite (endp l1) (ite (endp l2) nil i)
2234 (ite (endp l2) nil
2243 ite (endp l1)
2244 (ite (endp l2) nil i)
2245 (ite (endp l2)
2318 [(endp seq,reverse acc);
2335 ite (endp x) t (andl [member (car x) y; subsetp (cdr x) y]),
2377 [(endp world_alist,default);
2388 [(endp world_alist,default);
2413 ite (endp l) (cons (cons key value) nil)
2422 itel [(endp l,nil); (eq key (caar l),cdr l)]
2437 [(endp alist,nil);
2448 [(endp world_alist,nil);
2462 [(endp alist,nil);
2477 [(endp world_alist,nil);
2522 [(endp l1,nil);
2552 itel [(endp l,nil); (eq key (car l),l)] (assoc_keyword key (cddr l)),
2767 itel [(endp l,nil); (zp n,car l)] (mv_nth (add (int ~1) n) (cdr l)),
2773 itel [(endp l,nil); (zp n,car l)] (mv_nth (add (int ~1) n) (cdr l))`,
2780 ite (endp args) nil
2973 ite (endp alist1) t
3028 ite (endp l) t
3362 itel [(endp l,nil); (eq x (caar l),cdr l)]
3404 ite (endp bindings) nil
3423 ite (endp bindings) nil
3437 ite (endp bindings) nil
3814 [(endp l,nil);
4012 ite (endp l) (nat 0) (add (car l) (mult b (power_eval (cdr l) b))),
4059 [(endp alist,List [cons name val]);
4068 [(endp alist,List [cons name val]);
4077 [(endp alist,List [cons name val]);
4166 [(endp lst1,lst2);
4199 ite (endp runes) acc
4352 itel [(endp alist,nil); (eq key (caar alist),cdr alist)]
4359 itel [(endp alist,nil); (equal key (caar alist),cdr alist)]
4494 ite (endp y) nil
4502 [(endp lst,nil);
4517 [(endp l1,nil);
4525 |- evens l = ite (endp l) nil (cons (car l) (evens (cddr l))),