Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. purge remains from test (cf. 5a53724fe247);
  2. tuned;
  3. clarified signature;
  4. removed obsolete RC tags;
  5. tuned;
  6. clarified signature;
  7. tuned;
Changeset 70432:495881aadbff by wenzelm:
purge remains from test (cf. 5a53724fe247);
The file was modified src/FOL/IFOL.thy (diff)
Changeset 70431:dbb32c2d5c2c by wenzelm:
tuned;
The file was modified src/Pure/global_theory.ML (diff)
Changeset 70430:6ec97dc6670e by wenzelm:
clarified signature;
The file was modified src/Pure/global_theory.ML (diff)
Changeset 70429:7f7f149d6843 by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 70428:4537e82019d3 by wenzelm:
tuned;
The file was modified src/Pure/global_theory.ML (diff)
Changeset 70427:973bf3e42e54 by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/generic_target.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/global_theory.ML (diff)
Changeset 70426:198be2de1efa by wenzelm:
tuned;
The file was modified src/Pure/global_theory.ML (diff)