Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. misc tuning and modernization;
  2. improved performance of remove, e.g. relevant for Theories_Dockable.purge;
Changeset 65075:03e6aa683c4d by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Ramsey.thy (diff)
Changeset 65074:df14a0e872e6 by wenzelm:
improved performance of remove, e.g. relevant for Theories_Dockable.purge;
The file was modified src/Pure/Thy/thy_syntax.scala (diff)