Lines Matching refs:UPDATE
373 ("LEN-UPDATE-NTH", "ACL2-USER", "ACL2"),
431 ("NTH-UPDATE-NTH", "ACL2-USER", "ACL2"),
624 ("STATE-P1-UPDATE-MAIN-TIMER", "ACL2-USER", "ACL2"),
625 ("STATE-P1-UPDATE-NTH-2-WORLD", "ACL2-USER", "ACL2"),
692 ("TRUE-LISTP-UPDATE-NTH", "ACL2-USER", "ACL2"),
710 ("UPDATE-32-BIT-INTEGER-STACK", "ACL2-USER", "ACL2"),
711 ("UPDATE-BIG-CLOCK-ENTRY", "ACL2-USER", "ACL2"),
712 ("UPDATE-FILE-CLOCK", "ACL2-USER", "ACL2"),
713 ("UPDATE-GLOBAL-TABLE", "ACL2-USER", "ACL2"),
714 ("UPDATE-IDATES", "ACL2-USER", "ACL2"),
715 ("UPDATE-LIST-ALL-PACKAGE-NAMES-LST", "ACL2-USER", "ACL2"),
716 ("UPDATE-NTH", "ACL2-USER", "ACL2"),
717 ("UPDATE-OPEN-INPUT-CHANNELS", "ACL2-USER", "ACL2"),
718 ("UPDATE-OPEN-OUTPUT-CHANNELS", "ACL2-USER", "ACL2"),
719 ("UPDATE-READ-FILES", "ACL2-USER", "ACL2"),
720 ("UPDATE-RUN-TIMES", "ACL2-USER", "ACL2"),
721 ("UPDATE-RUN-TIMES-PRESERVES-STATE-P1", "ACL2-USER", "ACL2"),
722 ("UPDATE-T-STACK", "ACL2-USER", "ACL2"),
723 ("UPDATE-USER-STOBJ-ALIST", "ACL2-USER", "ACL2"),
724 ("UPDATE-USER-STOBJ-ALIST1", "ACL2-USER", "ACL2"),
725 ("UPDATE-WRITTEN-FILES", "ACL2-USER", "ACL2"),
1725 ("UPDATE-INSTANCE-FOR-DIFFERENT-CLASS", "ACL2-USER", "COMMON-LISP"),
1727 ("UPDATE-INSTANCE-FOR-REDEFINED-CLASS", "ACL2-USER", "COMMON-LISP"),
2703 ("UPDATE-INSTANCE-FOR-DIFFERENT-CLASS", "ACL2", "COMMON-LISP"),
2705 ("UPDATE-INSTANCE-FOR-REDEFINED-CLASS", "ACL2", "COMMON-LISP"),