Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. removed unused parameter following f9908452b282
Changeset 75011:16f83cea1e0a by desharna:
merged
Changeset 75010:4261983ca0ce by desharna:
removed unused parameter following f9908452b282
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML