Summary
- minor performance tuning;
- more correct type calculation
- Backed out changeset 5016262a2384
- added lemma
The file was modified | src/Pure/General/long_name.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/HOL/Data_Structures/Sorting.thy (diff) |