Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merged
  2. pretty-printing sledgehammer command: merge indexed theorems
Changeset 80208:0604d3051eee by nipkow:
merged
Changeset 80207:ca7e7e41374e by nipkow:
pretty-printing sledgehammer command: merge indexed theorems
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML