acl2/ml/kpa-v2-9-3.ml

44 ("ALL-BOUNDP-PRESERVES-ASSOC", "ACL2-USER", "ACL2"),
68 ("ASSOC-ADD-PAIR", "ACL2-USER", "ACL2"),
69 ("ASSOC-EQ", "ACL2-USER", "ACL2"),
70 ("ASSOC-EQ-EQUAL", "ACL2-USER", "ACL2"),
71 ("ASSOC-EQ-EQUAL-ALISTP", "ACL2-USER", "ACL2"),
72 ("ASSOC-EQUAL", "ACL2-USER", "ACL2"),
73 ("ASSOC-KEYWORD", "ACL2-USER", "ACL2"),
74 ("ASSOC-STRING-EQUAL", "ACL2-USER", "ACL2"),
180 ("CONSP-ASSOC", "ACL2-USER", "ACL2"),
181 ("CONSP-ASSOC-EQ", "ACL2-USER", "ACL2"),
352 ("KEYWORD-VALUE-LISTP-ASSOC-KEYWORD", "ACL2-USER", "ACL2"),
518 ("PUT-ASSOC-EQ", "ACL2-USER", "ACL2"),
519 ("PUT-ASSOC-EQUAL", "ACL2-USER", "ACL2"),
690 ("TRUE-LIST-LISTP-FORWARD-TO-TRUE-LISTP-ASSOC-EQ", "ACL2-USER", "ACL2"),
691 ("TRUE-LISTP-CADR-ASSOC-EQ-FOR-OPEN-CHANNELS-P", "ACL2-USER", "ACL2"),
740 ("WORLDP-FORWARD-TO-ASSOC-EQ-EQUAL-ALISTP", "ACL2-USER", "ACL2"),
940 ("ASSOC", "ACL2-USER", "COMMON-LISP"),
943 ("ASSOC-IF", "ACL2-USER", "COMMON-LISP"),
946 ("ASSOC-IF-NOT", "ACL2-USER", "COMMON-LISP"),
1918 ("ASSOC", "ACL2", "COMMON-LISP"),
1921 ("ASSOC-IF", "ACL2", "COMMON-LISP"),
1924 ("ASSOC-IF-NOT", "ACL2", "COMMON-LISP"),