Summary
- merged
- added lemmas
The file was modified | src/HOL/Binomial.thy (diff) |
The file was modified | src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff) |
The file was modified | src/HOL/Groups_List.thy (diff) |
The file was modified | src/HOL/Proofs/Lambda/ListApplication.thy (diff) |