Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lambda-free HO output for Ehoh (higher-order E prototype)
Changeset 68250:c45067867860 by blanchet:
added lambda-free HO output for Ehoh (higher-order E prototype)
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/ATP/atp_problem.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)