Summary
- merged
- more facts on Map.map_of and List.zip
- more facts on Map.ran
- another fact on (- 1) ^ _
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/Map.thy (diff) |
The file was modified | src/HOL/Map.thy (diff) |
The file was modified | src/HOL/Parity.thy (diff) |