Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. tuned -- fewer warnings;
Changeset 63858:0f5e735e3640 by wenzelm:
tuned;
The file was modified src/Pure/thm.ML (diff)
Changeset 63857:0883c1cc655c by wenzelm:
tuned -- fewer warnings;
The file was modified src/Pure/proofterm.ML (diff)