Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. extended TSTP type parser + tuned messages
  2. added debugging function
Changeset 66428:745a43ff2d5f by blanchet:
extended TSTP type parser + tuned messages
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
Changeset 66427:d14e7666d785 by blanchet:
added debugging function
The file was modified src/HOL/Tools/SMT/z3_proof.ML (diff)