Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned --- following hints by IntelliJ;
  2. tuned signature;
  3. tuned;
  4. tuned;
  5. tuned signature;
  6. tuned;
  7. tuned signature (see 2d6a489adb01);
  8. added support for TFX's and THF's $ite to Sledgehammer
  9. tuned Mirabelle documentation
Changeset 73866:66bff50bc5f1 by wenzelm:
tuned --- following hints by IntelliJ;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 73865:4e94ceabaaad by wenzelm:
tuned signature;
The file was modified src/Pure/library.ML (diff)
Changeset 73864:ac5a72740f3a by wenzelm:
tuned;
The file was modified src/Pure/General/position.ML (diff)
Changeset 73863:9594d8e33c57 by wenzelm:
tuned;
The file was modified src/Pure/term_ord.ML (diff)
Changeset 73862:38fe15a42ff2 by wenzelm:
tuned signature;
The file was modified src/Pure/library.ML (diff)
Changeset 73861:aa0b1fbe6be3 by wenzelm:
tuned;
The file was modified src/Pure/library.ML (diff)
Changeset 73860:dfac078e5444 by wenzelm:
tuned signature (see 2d6a489adb01);
The file was modified src/Pure/library.ML (diff)
The file was modified src/Pure/more_thm.ML (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 73859:bc263f1f68cd by desharna:
added support for TFX's and THF's $ite to Sledgehammer
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/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 73858:4538d6ffafbd by desharna:
tuned Mirabelle documentation
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)