Summary
- merged
- tuned;
- more thorough checks for theory name consistency (for extend, not just merge);
- more uniform output (cf. 450cefec7c11);
The file was modified | src/Pure/Thy/thy_output.ML (diff) |
The file was modified | src/Pure/context.ML (diff) |
The file was modified | src/Pure/context.ML (diff) |