Summary
- misc tuning and modernization;
- improved performance of remove, e.g. relevant for Theories_Dockable.purge;
The file was modified | src/HOL/Library/Ramsey.thy (diff) |
The file was modified | src/Pure/Thy/thy_syntax.scala (diff) |
The file was modified | src/HOL/Library/Ramsey.thy (diff) |
The file was modified | src/Pure/Thy/thy_syntax.scala (diff) |