round-trip/gold/axioms.lisp

1747                                              (CONS 'LD-SKIP-PROOFSP 'NIL))
3855             (LD-LEVEL . 0)
3856             (LD-REDEFINITION-ACTION)
3857             (LD-SKIP-PROOFSP)
4022                  LD-LOOP PRINT-SUMMARY
4028                  LAMBDA-ABSTRACT LD-FN-BODY UNTRANSLATE
4031                  ADD-POLYS DMR-STOP-FN LD-PRINT-RESULTS
4034                  EV-FNCALL-REC SYS-CALL EV-FNCALL LD-FN0
4035                  LD-FN WRITE-EXPANSION-FILE LATCH-STOBJS1
4233             (LD-LEVEL . 0)
4234             (LD-REDEFINITION-ACTION)
4235             (LD-SKIP-PROOFSP)
4400                  LD-LOOP PRINT-SUMMARY
4406                  LAMBDA-ABSTRACT LD-FN-BODY UNTRANSLATE
4409                  ADD-POLYS DMR-STOP-FN LD-PRINT-RESULTS
4412                  EV-FNCALL-REC SYS-CALL EV-FNCALL LD-FN0
4413                  LD-FN WRITE-EXPANSION-FILE LATCH-STOBJS1
4609             (LD-LEVEL . 0)
4610             (LD-REDEFINITION-ACTION)
4611             (LD-SKIP-PROOFSP)
4776                  LD-LOOP PRINT-SUMMARY
4782                  LAMBDA-ABSTRACT LD-FN-BODY UNTRANSLATE
4785                  ADD-POLYS DMR-STOP-FN LD-PRINT-RESULTS
4788                  EV-FNCALL-REC SYS-CALL EV-FNCALL LD-FN0
4789                  LD-FN WRITE-EXPANSION-FILE LATCH-STOBJS1
4992      (LD-LEVEL . 0)
4993      (LD-REDEFINITION-ACTION)
4994      (LD-SKIP-PROOFSP)
5158                                 LD-LOOP PRINT-SUMMARY
5164                                 LAMBDA-ABSTRACT LD-FN-BODY UNTRANSLATE
5167                                 ADD-POLYS DMR-STOP-FN LD-PRINT-RESULTS
5170                                 EV-FNCALL-REC SYS-CALL EV-FNCALL LD-FN0
5171                                 LD-FN WRITE-EXPANSION-FILE LATCH-STOBJS1
5294      (LD-LEVEL . 0)
5295      (LD-REDEFINITION-ACTION)
5296      (LD-SKIP-PROOFSP)
5460                                 LD-LOOP PRINT-SUMMARY
5466                                 LAMBDA-ABSTRACT LD-FN-BODY UNTRANSLATE
5469                                 ADD-POLYS DMR-STOP-FN LD-PRINT-RESULTS
5472                                 EV-FNCALL-REC SYS-CALL EV-FNCALL LD-FN0
5473                                 LD-FN WRITE-EXPANSION-FILE LATCH-STOBJS1
5548      (LD-SKIP-PROOFSP)
5549      (LD-REDEFINITION-ACTION)
5550      (LD-PROMPT . T)
5551      (LD-KEYWORD-ALIASES)
5552      (LD-PRE-EVAL-FILTER . :ALL)
5553      (LD-PRE-EVAL-PRINT)
5554      (LD-POST-EVAL-PRINT . :COMMAND-CONVENTIONS)
5555      (LD-EVISC-TUPLE)
5556      (LD-ERROR-TRIPLES . T)
5557      (LD-ERROR-ACTION . :CONTINUE)
5558      (LD-QUERY-CONTROL-ALIST)
5559      (LD-VERBOSE
7159 (DEFUN LD-SKIP-PROOFSP (STATE) (GET-GLOBAL 'LD-SKIP-PROOFSP STATE))
7780 (DEFUN WORMHOLE1 (NAME INPUT FORM LD-SPECIALS) 'NIL)