Summary
- New theory Leftist_Heap_List
- added [simp]
The file was added | src/HOL/Data_Structures/Leftist_Heap_List.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/Set.thy (diff) |
The file was added | src/HOL/Data_Structures/Leftist_Heap_List.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/Set.thy (diff) |