Lines Matching defs:UPDATE
38 (M1::UPDATE-NTH (M1::ARG1 M1::INST)
522 (DEFTHM M1::NTH-UPDATE-NTH
524 (EQUAL (M1::NTH M1::I (M1::UPDATE-NTH M1::J M1::V LIST))
529 M1::UPDATE-NTH-UPDATE-NTH-1
535 (EQUAL (M1::UPDATE-NTH M1::I
536 M1::V (M1::UPDATE-NTH M1::J M1::W LIST))
537 (M1::UPDATE-NTH M1::J M1::W
538 (M1::UPDATE-NTH M1::I M1::V LIST)))))
540 (DEFTHM M1::UPDATE-NTH-UPDATE-NTH-2
541 (EQUAL (M1::UPDATE-NTH M1::I
542 M1::V (M1::UPDATE-NTH M1::I M1::W LIST))
543 (M1::UPDATE-NTH M1::I M1::V LIST)))
789 (M1::UPDATE-NTH (M1::ARG1 M1::INST)
795 (M1::UPDATE-NTH (M1::ARG1 M1::INST)