Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned messages
  2. improved Vampire proof parser
Changeset 66545:97c441c8665d by blanchet:
tuned messages
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
Changeset 66544:3e838cf5e80c by blanchet:
improved Vampire proof parser
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)