Lines Matching defs:skip
72 'value 'set-ld-skip-proofsp
220 ; Warning: state global 'ld-skip-proofsp should be 'local before calling this
238 (skip-proofs ; !! special annotation needed?
289 ; (But we are handling the defun-mode already, so we can skip (logic) and
308 (value set-ld-skip-proofsp ; see expand-to-event
369 (defun set-ld-skip-proofsp-state (val state)
371 (set-ld-skip-proofsp val state)
377 ((ld-skip-proofsp 'include-book set-ld-skip-proofsp-state))
380 (if (eq cert-optional-p :skip)
434 (cond ((eq cert-optional-p :skip) nil)
470 ,outfile :skip