Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. re-tuned c9605a284fba, which impacts performance significantly (for unclear reasons) -- make AFP/Collections build again;
  2. unfold is subject to unfold_abs_def (still inactive); tuned signature;
Changeset 63069:f009347b9072 by wenzelm:
re-tuned c9605a284fba, which impacts performance significantly (for unclear reasons) -- make AFP/Collections build again;
The file was modified src/Pure/Isar/specification.ML (diff)
Changeset 63068:8b9401bfd9fd by wenzelm:
unfold is subject to unfold_abs_def (still inactive);<br>tuned signature;
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/interpretation.ML (diff)
The file was modified src/Pure/Isar/local_defs.ML (diff)
The file was modified src/Pure/drule.ML (diff)