Summary
- proper code abbreviation for power on real
- tuned
- tuned
- suppress redundant messages;
The file was modified | src/HOL/Transcendental.thy (diff) |
The file was modified | src/Pure/Isar/code.ML (diff) |
The file was modified | src/Pure/Isar/toplevel.ML (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (diff) |