Summary
- merged
- misc tuning and modernization;
- uniform import_name, with treatment of global and qualified theories;
- tuned signature;
The file was modified | src/HOL/Number_Theory/Fib.thy (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/thy_header.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Thy/present.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |