Summary
- merged
- tuned
- Merged
- added shuffle product to HOL/List
The file was modified | src/Doc/Prog_Prove/Isar.thy (diff) |
The file was modified | src/HOL/Binomial.thy (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |