Lines Matching refs:ASSOC
506 [oracles: DEFUN ACL2::ASSOC-EQ, DISK_THM] [axioms: ] []
513 [oracles: DEFUN ACL2::ASSOC-EQUAL, DISK_THM] [axioms: ] []
520 [oracles: DEFUN ACL2::ASSOC-EQ-EQUAL-ALISTP, DISK_THM] [axioms: ] []
529 [oracles: DEFUN ACL2::ASSOC-EQ-EQUAL, DISK_THM] [axioms: ] []
693 [oracles: DEFUN COMMON-LISP::ASSOC, DISK_THM] [axioms: ] []
700 acl2_defn "COMMON-LISP::ASSOC"
1344 [oracles: DEFUN ACL2::ASSOC-STRING-EQUAL, DISK_THM] [axioms: ] []
2546 [oracles: DEFUN ACL2::ASSOC-KEYWORD, DISK_THM] [axioms: ] []
4052 [oracles: DEFUN ACL2::PUT-ASSOC-EQ, DISK_THM] [axioms: ] []
4061 [oracles: DEFUN ACL2::PUT-ASSOC-EQL, DISK_THM] [axioms: ] []
4070 [oracles: DEFUN ACL2::PUT-ASSOC-EQUAL, DISK_THM] [axioms: ] []
4346 [oracles: DEFUN ACL2::DELETE-ASSOC-EQ, DISK_THM] [axioms: ] []
4353 [oracles: DEFUN ACL2::DELETE-ASSOC-EQUAL, DISK_THM] [axioms: ] []