Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified export: retain proof boxes as local definitions -- more scalable;
  2. reduced dependencies
Changeset 70451:550a5a822edb by wenzelm:
clarified export: retain proof boxes as local definitions -- more scalable;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 70450:7c2724cefcb8 by nipkow:
reduced dependencies
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)