Summary
- tuned names: t_ -> T_
- merged
- tuned names
The file was modified | src/HOL/Data_Structures/Sorting.thy (diff) |
The file was modified | src/HOL/Data_Structures/Queue_2Lists.thy (diff) |
The file was modified | src/HOL/Data_Structures/Sorting.thy (diff) |
The file was modified | src/HOL/Data_Structures/Queue_2Lists.thy (diff) |