Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. clarified signature;
  3. clarified signature;
  4. removed unused material (left-over from fd0c85d7da38);
Changeset 74510:21a20b990724 by wenzelm:
clarified signature;
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_util.ML (diff)
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Tools/try.ML (diff)
Changeset 74509:f24ade4ff3cc by wenzelm:
clarified signature;
The file was modified src/HOL/Library/refute.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku.ML (diff)
The file was modified src/Pure/Isar/element.ML (diff)
The file was modified src/Pure/logic.ML (diff)
The file was modified src/Pure/raw_simplifier.ML (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 74508:3315c551fe6e by wenzelm:
clarified signature;
The file was modified src/HOL/Tools/Nitpick/nitpick_commands.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)
The file was modified src/HOL/Tools/try0.ML (diff)
The file was modified src/Tools/quickcheck.ML (diff)
The file was modified src/Tools/solve_direct.ML (diff)
The file was modified src/Tools/try.ML (diff)
Changeset 74507:a241eadc0e3f by wenzelm:
removed unused material (left-over from fd0c85d7da38);
The file was modified src/Tools/try.ML (diff)