Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuning imports
  2. use TFF0 with E 2.0 and above
  3. E 2.0 component
  4. updated remote Vampire version
Changeset 66364:fa3247e6ee4b by blanchet:
tuning imports
The file was modified src/HOL/ATP.thy (diff)
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Option.thy (diff)
The file was modified src/HOL/Partial_Function.thy (diff)
Changeset 66363:8aca34dbe195 by blanchet:
use TFF0 with E 2.0 and above
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 66362:9b70e98490da by blanchet:
E 2.0 component
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66361:5deeb0dbccb4 by blanchet:
updated remote Vampire version
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)