Lines Matching refs:ASSOC
155 ("ALL-BOUNDP-PRESERVES-ASSOC", "ACL2-USER", "ACL2"),
179 ("ASSOC-ADD-PAIR", "ACL2-USER", "ACL2"),
180 ("ASSOC-EQ", "ACL2-USER", "ACL2"),
181 ("ASSOC-EQ-EQUAL", "ACL2-USER", "ACL2"),
182 ("ASSOC-EQ-EQUAL-ALISTP", "ACL2-USER", "ACL2"),
183 ("ASSOC-EQUAL", "ACL2-USER", "ACL2"),
184 ("ASSOC-KEYWORD", "ACL2-USER", "ACL2"),
185 ("ASSOC-STRING-EQUAL", "ACL2-USER", "ACL2"),
291 ("CONSP-ASSOC", "ACL2-USER", "ACL2"),
292 ("CONSP-ASSOC-EQ", "ACL2-USER", "ACL2"),
463 ("KEYWORD-VALUE-LISTP-ASSOC-KEYWORD", "ACL2-USER", "ACL2"),
629 ("PUT-ASSOC-EQ", "ACL2-USER", "ACL2"),
630 ("PUT-ASSOC-EQUAL", "ACL2-USER", "ACL2"),
801 ("TRUE-LIST-LISTP-FORWARD-TO-TRUE-LISTP-ASSOC-EQ", "ACL2-USER", "ACL2"),
802 ("TRUE-LISTP-CADR-ASSOC-EQ-FOR-OPEN-CHANNELS-P", "ACL2-USER", "ACL2"),
851 ("WORLDP-FORWARD-TO-ASSOC-EQ-EQUAL-ALISTP", "ACL2-USER", "ACL2"),
1051 ("ASSOC", "ACL2-USER", "COMMON-LISP"),
1054 ("ASSOC-IF", "ACL2-USER", "COMMON-LISP"),
1057 ("ASSOC-IF-NOT", "ACL2-USER", "COMMON-LISP"),
2029 ("ASSOC", "ACL2", "COMMON-LISP"),
2032 ("ASSOC-IF", "ACL2", "COMMON-LISP"),
2035 ("ASSOC-IF-NOT", "ACL2", "COMMON-LISP"),