Lines Matching defs:SKIP
1739 (FORM ON-SKIP-PROOFS CHECK)
1744 (CONS (NOT ON-SKIP-PROOFS)
1747 (CONS 'LD-SKIP-PROOFSP 'NIL))
3857 (LD-SKIP-PROOFSP)
3954 SKIP-PROOFS F-BOUNDP-GLOBAL
4068 (SKIP-NOTIFY-ON-DEFTTAG)
4069 (SKIP-PROOFS-BY-SYSTEM)
4070 (SKIP-PROOFS-OKP-CERT . T)
4235 (LD-SKIP-PROOFSP)
4332 SKIP-PROOFS F-BOUNDP-GLOBAL
4446 (SKIP-NOTIFY-ON-DEFTTAG)
4447 (SKIP-PROOFS-BY-SYSTEM)
4448 (SKIP-PROOFS-OKP-CERT . T)
4611 (LD-SKIP-PROOFSP)
4708 SKIP-PROOFS F-BOUNDP-GLOBAL
4822 (SKIP-NOTIFY-ON-DEFTTAG)
4823 (SKIP-PROOFS-BY-SYSTEM)
4824 (SKIP-PROOFS-OKP-CERT . T)
4994 (LD-SKIP-PROOFSP)
5091 SKIP-PROOFS F-BOUNDP-GLOBAL
5204 (SKIP-NOTIFY-ON-DEFTTAG)
5205 (SKIP-PROOFS-BY-SYSTEM)
5206 (SKIP-PROOFS-OKP-CERT . T)
5296 (LD-SKIP-PROOFSP)
5393 SKIP-PROOFS F-BOUNDP-GLOBAL
5506 (SKIP-NOTIFY-ON-DEFTTAG)
5507 (SKIP-PROOFS-BY-SYSTEM)
5508 (SKIP-PROOFS-OKP-CERT . T)
5548 (LD-SKIP-PROOFSP)
7159 (DEFUN LD-SKIP-PROOFSP (STATE) (GET-GLOBAL 'LD-SKIP-PROOFSP STATE))